]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7678e7) | patch
A few paramodulation/demodulation tests moved from library to tests.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 27 Jan 2006 16:50:21 +0000 (16:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 27 Jan 2006 16:50:21 +0000 (16:50 +0000)
commit83bbd662d887cc43d7d60cb607295dce503b3b7f
treeb0bf532dcd83f3629c89dd98f40e480ebfaf0e76tree | snapshot
parentf7678e750c4a8551475d4538b824e328f523c564commit | diff
A few paramodulation/demodulation tests moved from library to tests.
helm/matita/library/SK.ma [deleted file] blob | history
helm/matita/library/demodulation_coq.ma [deleted file] blob | history
helm/matita/library/demodulation_matita.ma [deleted file] blob | history
helm/matita/tests/SK.ma [new file with mode: 0644] blob
helm/matita/tests/demodulation_coq.ma [new file with mode: 0644] blob
helm/matita/tests/demodulation_matita.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.