]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b976a0) | patch
notation bug fix
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 19 Apr 2011 21:28:46 +0000 (21:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 19 Apr 2011 21:28:46 +0000 (21:28 +0000)
commitaa7c98c241b5db81d1f4442f665094eff080158b
tree4960bf2120b960074516bfd676cd724526890f6dtree | snapshot
parent7b976a01aa6cedbfbef57ace183ce3fc0e2f22a9commit | diff
notation bug fix
matita/matita/lib/lambda-delta/notation.ma diff | blob | history
matita/matita/lib/lambda-delta/substitution/subst.ma diff | blob | history
matita/matita/lib/lambda-delta/substitution/thin.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.