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

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

2010-04-19	Andrea Asperti	alpha_eq instead of pervasives.compare	blob \| commitdiff \| raw
2010-02-19	Andrea Asperti	Added an implicit parameter to branch_tac to allow...	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-11	Andrea Asperti	saturate cust be called with delta=0	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-18	Andrea Asperti	using = instead of alpha conversions. context metasenv...	blob \| commitdiff \| raw \| diff to current
2009-12-02	Andrea Asperti	Generalized initialization of eqP.	blob \| commitdiff \| raw \| diff to current
2009-10-07	Claudio Sacerdoti...	- oCic2NCic and nCic2OCic moved to ng_library	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-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
2009-06-24	denes	Extended is_identity test	blob \| commitdiff \| raw \| diff to current
2009-06-23	denes	Fixed nasty bug in maxvar updating	blob \| commitdiff \| raw \| diff to current
2009-06-22	denes	Corrected proof visiting (topological sort)	blob \| commitdiff \| raw \| diff to current
2009-06-18	Enrico Tassi	proof patching!	blob \| commitdiff \| raw \| diff to current
2009-06-18	denes	Fixed wrong types in proof terms	blob \| commitdiff \| raw \| diff to current
2009-06-17	Enrico Tassi	proof reconstruction almost OK	blob \| commitdiff \| raw \| diff to current
2009-06-16	Enrico Tassi	first proof reconstruction attempt, still bugged since it	blob \| commitdiff \| raw \| diff to current
2009-06-09	Enrico Tassi	snapshot	blob \| commitdiff \| raw \| diff to current
2009-06-09	Enrico Tassi	snaphost: supright almost done	blob \| commitdiff \| raw \| diff to current
2009-06-08	Enrico Tassi	some more functors and a nice higher-order all_position...	blob \| commitdiff \| raw \| diff to current
2009-06-05	denes	First tests for paramodulation (pretty printer, unifica...	blob \| commitdiff \| raw \| diff to current
2009-06-04	Enrico Tassi	more functors	blob \| commitdiff \| raw \| diff to current

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

RSS Atom