]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9cc54d0) | patch
Wilmer's stuff for destruct.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 19 Feb 2010 07:27:31 +0000 (07:27 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 19 Feb 2010 07:27:31 +0000 (07:27 +0000)
commit08281577f00c9d178ff3227b49ab96e600917998
treef49e8babb40cef85e5c0cbee61a0340947723e49tree | snapshot
parent9cc54d0dfa73c0b7e2936d80fe9466269d81d9c4commit | diff
Wilmer's stuff for destruct.
helm/software/matita/nlibrary/Plogic/equality.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.