]> matita.cs.unibo.it Git - helm.git/commit - helm/matita/library/demodulation_coq.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88995fa) | patch
Added some examples for auto/paramodulation/demodulation.
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 25 Jan 2006 08:06:07 +0000 (08:06 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 25 Jan 2006 08:06:07 +0000 (08:06 +0000)
commit286f98e50012f4525aaccb08f7b7d2a6d457ec61
tree51f73ff6cd0122996732cb261e07e82fe000cd18tree | snapshot
parent88995fa8bedef76136f920b4c42e979d9c227f77commit | diff
Added some examples for auto/paramodulation/demodulation.
helm/matita/library/SK.ma [new file with mode: 0644] blob
helm/matita/library/demodulation_coq.ma [new file with mode: 0644] blob
helm/matita/library/demodulation_matita.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.