Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sun, 02 Jul 2017 02:18:57 +0900 | Shinji KONO | ... |
Sat, 01 Jul 2017 10:21:34 +0900 | Shinji KONO | creating nat |
Sat, 01 Jul 2017 00:12:38 +0900 | Shinji KONO | if K{*}↓U has initial Obj, U is representable done. |
Fri, 30 Jun 2017 23:36:54 +0900 | Shinji KONO | on going ... |
Fri, 30 Jun 2017 21:52:14 +0900 | Shinji KONO | introduce U preserving |
Wed, 28 Jun 2017 17:17:17 +0900 | Shinji KONO | fix |