Mercurial > hg > Members > kono > Proof > galois

comparison sym2.agda @ 99:cadfbf0c810b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 31 Aug 2020 11:45:09 +0900
parents f4ff8e352aa7
children d3da6e2c0d90
comparison
equal deleted inserted replaced
98:3a37a8f8cb39 99:cadfbf0c810b