]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 863c1f7) | patch
Scripts fixed. They were broken since the change to the behaviour of CicMetaSubst...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 9 Mar 2008 17:20:51 +0000 (17:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 9 Mar 2008 17:20:51 +0000 (17:20 +0000)
commit9e291b4d0a99118cd0a1c5540ef00c25ca37a56d
tree9e895401f35d7aeba1514b917ff08c5cd0830f55tree | snapshot
parent863c1f7bb313c3d9dff08d60c8c7ef7c511263c4commit | diff
Scripts fixed. They were broken since the change to the behaviour of CicMetaSubst.delift w.r.t. definitions in the context.
helm/software/matita/library/algebra/finite_groups.ma diff | blob | history
helm/software/matita/library/decidable_kit/fintype.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.