matita.cs.unibo.it Git - helm.git/history - helm/software/components/tactics/paramodulation/saturation.mli

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/tactics/paramodulation/saturation.mli

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / software / components / tactics / paramodulation / saturation.mli

2007-06-13	Enrico Tassi	many changes:	blob \| commitdiff \| raw
2006-10-20	Andrea Asperti	Major changes to auto, documented on the helm mailing...	blob \| commitdiff \| raw \| diff to current
2006-10-03	Andrea Asperti	Changed auto from implicit to option and renamed a...	blob \| commitdiff \| raw \| diff to current
2006-09-29	Enrico Tassi	new version of auto that is able to prove the irrationa...	blob \| commitdiff \| raw \| diff to current
2006-09-27	Enrico Tassi	auto snapshot	blob \| commitdiff \| raw \| diff to current
2006-09-21	Enrico Tassi	auto snapshot	blob \| commitdiff \| raw \| diff to current
2006-07-24	Enrico Tassi	added timeout parameter to auto paramodulation.	blob \| commitdiff \| raw \| diff to current
2006-06-29	Claudio Sacerdoti...	Demodulate used to be a reduction_kind and it used...	blob \| commitdiff \| raw \| diff to current
2006-06-27	Enrico Tassi	fixed infer_goal, added simplification before inferring...	blob \| commitdiff \| raw \| diff to current
2006-06-26	Enrico Tassi	more work for the generic auto parameters	blob \| commitdiff \| raw \| diff to current
2006-06-21	Enrico Tassi	added the geniric	blob \| commitdiff \| raw \| diff to current
2006-05-22	Enrico Tassi	- code cleanup, especialli in Indexing where all the...	blob \| commitdiff \| raw \| diff to current
2006-04-05	Enrico Tassi	the tactic now returns as open goals the open metas...	blob \| commitdiff \| raw \| diff to current
2006-03-20	Andrea Asperti	Snapshot.	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

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