Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Sat, 09 May 2020 17:35:56 +0900 | Shinji KONO | ... |
| Sat, 09 May 2020 16:41:40 +0900 | Shinji KONO | ... |
| Sat, 09 May 2020 09:40:18 +0900 | Shinji KONO | Added tag current for changeset d9d3654baee1 |
| Sat, 09 May 2020 09:38:21 +0900 | Shinji KONO | seperate choice from LEM |
| Sat, 09 May 2020 09:02:52 +0900 | Shinji KONO | separate choice |
| Sat, 25 Apr 2020 15:09:17 +0900 | Shinji KONO | Added tag current for changeset 29a85a427ed2 |
| Sat, 25 Apr 2020 15:09:07 +0900 | Shinji KONO | ε-induction |