Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| 2017-03-06 | Shinji KONO | clean up |
| 2017-03-06 | Shinji KONO | close this |
| 2017-03-06 | Shinji KONO | discrete equality as a dom equality |
| 2017-03-06 | Shinji KONO | fix |
| 2017-03-06 | Shinji KONO | discrete should have Set based Obj |
| 2017-03-06 | Shinji KONO | discrete f ≡ refl should be passed, but it doesn't |
| 2017-03-06 | Shinji KONO | discrete category and product from a limit |
| 2017-03-05 | Shinji KONO | clean up |
| 2017-03-04 | Shinji KONO | clean up |
| 2017-03-04 | Shinji KONO | clean up |
| 2017-03-04 | Shinji KONO | document clean up |
| 2017-03-04 | Shinji KONO | document clean up |
| 2017-03-04 | Shinji KONO | clean up fix |
| 2017-03-04 | Shinji KONO | clean up |
| 2017-03-03 | Shinji KONO | limit-to done |
| 2017-03-02 | Shinji KONO | freyd trbouled again |
| 2017-03-02 | Shinji KONO | fix comment |
| 2017-03-02 | Shinji KONO | limit-to and discrete clean up |
| 2017-03-02 | Shinji KONO | limit with nat |
| 2017-03-02 | Shinji KONO | on going ... |
| 2017-03-02 | Shinji KONO | fix |
| 2017-03-02 | Shinji KONO | try incomplete pattern for discrete |
| 2017-02-28 | Shinji KONO | negnat |
| 2017-02-28 | Shinji KONO | add negation example |