]> matita.cs.unibo.it Git - helm.git/commit
new case implementation
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 Apr 2007 08:35:14 +0000 (08:35 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 Apr 2007 08:35:14 +0000 (08:35 +0000)
commit6dd842fc0aede1ea6e345789f7051ce7cfa9c8c2
tree8813526a571e5e9155f7b955aca08d2885357767
parente64013e67dc485047940b77022078a2fcaad1813
new case implementation
helm/software/components/tactics/primitiveTactics.ml
helm/software/matita/library/technicalities/setoids.ma
helm/software/matita/tests/pirrel.ma