]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ebf877) | patch
Some destruct tactics got broken after last update. Small axiomatization
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 2 May 2008 13:40:56 +0000 (13:40 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 2 May 2008 13:40:56 +0000 (13:40 +0000)
commit23de7622988fbd10a11b1dbe3536572af7acf16e
tree82d0226f2a962e575b3d2b198d7fa5fba1e46281tree | snapshot
parent1ebf8777baa6ab8624e02908f9c8b4b13a6a572fcommit | diff
Some destruct tactics got broken after last update. Small axiomatization
still included.
helm/software/matita/contribs/POPLmark/Fsub/adeq.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.