]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 85155a5) | patch
A tentative chaptern on coinductive types.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Aug 2014 15:46:49 +0000 (15:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Aug 2014 15:46:49 +0000 (15:46 +0000)
commitc43048b752d6b797bc238ea16a42180449bf63f1
tree2fbc863d23f9e6c4364cf885be0151d118bc9493tree | snapshot
parent85155a59a3986914b005d7e7edd7351d8090e234commit | diff
A tentative chaptern on coinductive types.

Currently I hitted a major bug somewhere.
matita/matita/lib/tutorial/chapter12.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.