]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 641ab7e) | patch
Experimental scripts for nth-order rewriting principles.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 13 Oct 2009 14:57:30 +0000 (14:57 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 13 Oct 2009 14:57:30 +0000 (14:57 +0000)
commit6044e9411b4f174f382e9594fadacb40bb23c175
tree012378b39883c72cdf4353b52a837924f3f70c5ftree | snapshot
parent641ab7e5aa7dbfa352028d7bba95def7234cc3f1commit | diff
Experimental scripts for nth-order rewriting principles.
helm/software/matita/nlibrary/logic/destruct_bb.ma [new file with mode: 0644] blob
helm/software/matita/tests/destruct_bb.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.