Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Thu, 05 Sep 2019 10:58:06 +0900 | Shinji KONO | sup with limit give up |
| Thu, 05 Sep 2019 01:28:52 +0900 | Shinji KONO | ... |
| Wed, 04 Sep 2019 01:12:18 +0900 | Shinji KONO | ... |
| Fri, 30 Aug 2019 15:37:04 +0900 | Shinji KONO | move product to OD |
| Thu, 29 Aug 2019 16:18:37 +0900 | Shinji KONO | orderd pair and product release |
| Thu, 29 Aug 2019 16:17:02 +0900 | Shinji KONO | Added tag current for changeset 2ea2a19f9cd6 |
| Thu, 29 Aug 2019 16:16:51 +0900 | Shinji KONO | ordered pair clean up |