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

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

2010-01-29	Andrea Asperti	Nuova gestione della width.	blob \| commitdiff \| raw
2010-01-18	Andrea Asperti	New paramod tac.	blob \| commitdiff \| raw \| diff to current
2010-01-08	Andrea Asperti	Support for the new // tactics.	blob \| commitdiff \| raw \| diff to current
2009-12-21	Andrea Asperti	Refining with no expected type + unification seems...	blob \| commitdiff \| raw \| diff to current
2009-12-21	Andrea Asperti	Trying to be faster.	blob \| commitdiff \| raw \| diff to current
2009-12-10	Andrea Asperti	Minor bag fixed, relative to failures.	blob \| commitdiff \| raw \| diff to current
2009-12-10	Andrea Asperti	A compiling version?	blob \| commitdiff \| raw \| diff to current
2009-12-09	Andrea Asperti	Attached fast_eq_check to auto	blob \| commitdiff \| raw \| diff to current
2009-12-04	Andrea Asperti	Indexing local context for paramod.	blob \| commitdiff \| raw \| diff to current
2009-11-23	Andrea Asperti	Subsumption and reduction	blob \| commitdiff \| raw \| diff to current
2009-11-17	Andrea Asperti	Closing the goal.	blob \| commitdiff \| raw \| diff to current
2009-11-13	Andrea Asperti	Added the new auto version (not attached yet).	blob \| commitdiff \| raw \| diff to current

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