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

2009-10-22	Enrico Tassi	new instantiate, only known bug is w.r.t. in/out scope...	blob \| commitdiff \| raw
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.