]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa7c98c) | patch
error in the conversion rule
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 20 Apr 2011 08:38:18 +0000 (08:38 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 20 Apr 2011 08:38:18 +0000 (08:38 +0000)
commit0d5bd92d25d0113b0c807b7301fb7a4171c514f9
treec1f1df9e99cefe5d873e69e4dd48971193b55e70tree | snapshot
parentaa7c98c241b5db81d1f4442f665094eff080158bcommit | diff
error in the conversion rule
matita/matita/lib/lambda/types.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.