Mercurial > hg > Members > kono > Proof > category
diff system-t.agda @ 356:500c813af3c9
history to continuation
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 11 May 2015 16:59:33 +0900 |
parents | 0fb47d8ff0ed |
children | af321e38ecee |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 11 May 2015 16:59:33 +0900 |
parents | 0fb47d8ff0ed |
children | af321e38ecee |