Mercurial > hg > Members > kono > Proof > galois

comparison src/FLutil.agda @ 328:e9de2bfef88d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix done
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 23 Sep 2023 22:43:47 +0900
parents fff18d4a063b
children
comparison
equal deleted inserted replaced
327:f5b2145c174c 328:e9de2bfef88d