matita.cs.unibo.it Git - helm.git/history - helm/ocaml/paramodulation/test

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/paramodulation/test_indexing.ml

2006-01-12	Andrea Asperti	Moved paramodulation inside tactics.	commit \| commitdiff
2006-01-08	Claudio Sacerdoti...	Added $Id$ to every .ml file.	commit \| commitdiff
2005-07-18	Alberto Griggio	adding library support (not ready yet)	commit \| commitdiff
2005-07-11	Alberto Griggio	now proofs have the correct type :-)	commit \| commitdiff
2005-06-29	Alberto Griggio	various updates, removed proofs for now because they...	commit \| commitdiff
2005-06-22	Alberto Griggio	use of discrimination trees instead of path indexes...	commit \| commitdiff
2005-06-20	Alberto Griggio	testing...	commit \| commitdiff

Unnamed repository; edit this file 'description' to name the repository.