]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44b11d1) | 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)
commita6dafdd56b35e1c794ff7512b8658a4d695b5f8c
tree3a2fa87ff3036490ac9956cbbc4183c5345bd511tree | snapshot
parent44b11d163869b92e2d2abc695c622e64356fb6fdcommit | diff
problems-4 was due to trans_eq expecting an explicit named substitution.
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems-4.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.