]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d096ec7) | patch
added paramodulation package
authorAlberto Griggio <griggio@fbk.eu>
Thu, 21 Jul 2005 11:44:33 +0000 (11:44 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Thu, 21 Jul 2005 11:44:33 +0000 (11:44 +0000)
commitd67ebd1c12fd3d7b041a79b79e5829b25d90da9f
tree542ccaf808724d6968e94f6729c670dafcfcf82btree | snapshot
parentd096ec7c396dce8d9bbd71bdee946103d1dd8890commit | diff
added paramodulation package
helm/ocaml/METAS/meta.helm-paramodulation.src [new file with mode: 0644] blob
helm/ocaml/Makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.