matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_paramodulation/nCicParamod.ml

[helm.git] / helm / software / components / ng_paramodulation / nCicParamod.ml

2010-03-24	Claudio Sacerdoti...	Axioms were not indexed.	blob \| commitdiff \| raw
2010-03-18	Andrea Asperti	Exporting the demodulation function.	blob \| commitdiff \| raw \| diff to current
2010-02-08	Andrea Asperti	Some changes towards integration of setoid-rewriting.	blob \| commitdiff \| raw \| diff to current
2010-01-18	Andrea Asperti	Keeping Implicit for refinement (instead of transformin...	blob \| commitdiff \| raw \| diff to current
2010-01-11	Andrea Asperti	Added is_equation	blob \| commitdiff \| raw \| diff to current
2010-01-08	Andrea Asperti	The body of constants is a reference, not the actual...	blob \| commitdiff \| raw \| diff to current
2010-01-08	Andrea Asperti	removed debugging info	blob \| commitdiff \| raw \| diff to current
2010-01-08	Andrea Asperti	new reloc_subst (to avoid cyclic substitutions).	blob \| commitdiff \| raw \| diff to current
2009-12-21	Andrea Asperti	Trying to be faster	blob \| commitdiff \| raw \| diff to current
2009-12-18	Andrea Asperti	Final subst returned by superposition and passed around.	blob \| commitdiff \| raw \| diff to current
2009-12-09	Andrea Asperti	Clean up of debgging info	blob \| commitdiff \| raw \| diff to current
2009-12-02	Andrea Asperti	The new paramodulation functions instantiated over...	blob \| commitdiff \| raw \| diff to current
2009-11-25	Andrea Asperti	Exported forward_inference_step	blob \| commitdiff \| raw \| diff to current
2009-10-22	Enrico Tassi	new instantiate, only known bug is w.r.t. in/out scope...	blob \| commitdiff \| raw \| diff to current
2009-07-29	Andrea Asperti	Changed the ordering of rels, and the introduction...	blob \| commitdiff \| raw \| diff to current
2009-07-20	Wilmer Ricciotti	added a flag for age selection	blob \| commitdiff \| raw \| diff to current
2009-07-09	Enrico Tassi	New functorialization: paramod is abstracted over a...	blob \| commitdiff \| raw \| diff to current
2009-07-02	Enrico Tassi	return type of paramod fixed according to the SZSOntology	blob \| commitdiff \| raw \| diff to current
2009-06-30	denes	Moved ID management inside the bag	blob \| commitdiff \| raw \| diff to current
2009-06-29	denes	Implemented orphan murdering technique	blob \| commitdiff \| raw \| diff to current
2009-06-26	Andrea Asperti	deep subsumption activated	blob \| commitdiff \| raw \| diff to current
2009-06-25	Enrico Tassi	timeouts are passed as arguments, so that tptpprover can	blob \| commitdiff \| raw \| diff to current
2009-06-25	Enrico Tassi	the prover is almost OK, types in fuctors a bit extended to	blob \| commitdiff \| raw \| diff to current
2009-06-25	Enrico Tassi	code refactoring for paramodulation	blob \| commitdiff \| raw \| diff to current

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

RSS Atom