matita.cs.unibo.it Git - helm.git/history - helm/software/components/tactics/autoCache.ml

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

2008-05-26	Enrico Tassi	Universe.key was not used to index terms, but was used...	blob \| commitdiff \| raw
2007-05-17	Enrico Tassi	auto rewritten with only one tail recursive function.	blob \| commitdiff \| raw \| diff to current
2007-01-06	Enrico Tassi	- inside dicrimination_tree is now checked the invarian...	blob \| commitdiff \| raw \| diff to current
2006-11-23	Andrea Asperti	Modifications to auto due to the introduction of the...	blob \| commitdiff \| raw \| diff to current
2006-10-20	Andrea Asperti	a. uniform mangement for context and library	blob \| commitdiff \| raw \| diff to current
2006-10-09	Andrea Asperti	Theorems from the library and from the context are...	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

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