]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 413c2c7) | patch
letins are no more unfolded, we do that by hand
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 20 Mar 2008 12:42:45 +0000 (12:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 20 Mar 2008 12:42:45 +0000 (12:42 +0000)
commite9278f62d563a431eaaa472967bec00293f378f0
treeb9c97f3f5ac92ed54943006c483490221b210039tree | snapshot
parent413c2c75ee1c4e389efbaa35b30de886a28441c6commit | diff
letins are no more unfolded, we do that by hand
helm/software/matita/tests/bad_induction.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.