Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Tue, 21 May 2019 18:17:24 +0900 | Shinji KONO | fix |
Tue, 21 May 2019 18:13:48 +0900 | Shinji KONO | oridnal dead end |
Tue, 21 May 2019 10:32:34 +0900 | Shinji KONO | fix ordinal |