]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f82161) | patch
problems-4 was due to trans_eq expecting an explicit named substitution.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Sep 2006 15:22:24 +0000 (15:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Sep 2006 15:22:24 +0000 (15:22 +0000)
commit00305d361464ea4c1c071b9be29482198d521eda
tree3e3b9dae4755cfe9ff82f0b57494094eb0071ff3tree | snapshot
parent7f82161596bdfccc1179f5edcc0bfd76d34516b5commit | diff
problems-4 was due to trans_eq expecting an explicit named substitution.
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/problems-4.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.