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/nCicProof.ml

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

2010-03-25	Andrea Asperti	Extension of demod to arbtrary predicates (not just...	commit \| commitdiff
2010-03-23	Andrea Asperti	Fixed a few bugs	commit \| commitdiff
2010-03-18	Andrea Asperti	Exporting the demodulation function.	commit \| commitdiff
2010-03-04	Andrea Asperti	Corrected a bug relative to the application of substs...	commit \| commitdiff
2010-02-19	Andrea Asperti	Added an implicit parameter to branch_tac to allow...	commit \| commitdiff
2010-02-08	Andrea Asperti	Some changes towards integration of setoid-rewriting.	commit \| commitdiff
2010-02-03	Claudio Sacerdoti...	Debug code commented out.	commit \| commitdiff
2010-01-27	Andrea Asperti	Unfolded exact letins during proof reconstruction.	commit \| commitdiff
2010-01-08	Andrea Asperti	new reloc_subst (to avoid cyclic substitutions).	commit \| commitdiff
2009-12-21	Andrea Asperti	Trying to be faster	commit \| commitdiff
2009-12-18	Andrea Asperti	Final subst returned by superposition and passed around.	commit \| commitdiff
2009-12-09	Andrea Asperti	Wrong reference corrected	commit \| commitdiff
2009-12-02	Andrea Asperti	New ways for initialising the signature required for...	commit \| commitdiff
2009-10-07	Claudio Sacerdoti...	- oCic2NCic and nCic2OCic moved to ng_library	commit \| commitdiff
2009-07-02	denes	New age selection	commit \| commitdiff
2009-06-30	denes	Moved ID management inside the bag	commit \| commitdiff
2009-06-26	Andrea Asperti	deep subsumption activated	commit \| commitdiff
2009-06-25	denes	Various fixes	commit \| commitdiff
2009-06-25	Enrico Tassi	code refactoring for paramodulation	commit \| commitdiff

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

RSS Atom