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

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

2008-09-19	Enrico Tassi	more abstract discrimination tree	blob \| commitdiff \| raw
2008-09-19	Enrico Tassi	better abstraction to allow 1 discrimination tree imple...	blob \| commitdiff \| raw \| diff to current
2008-09-19	Enrico Tassi	Revised discrimination tree implementation:	blob \| commitdiff \| raw \| diff to current
2008-09-09	Enrico Tassi	some work to make tries "printable", fixed comparison...	blob \| commitdiff \| raw \| diff to current
2007-11-15	Enrico Tassi	removed prerr_endline	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-28	Andrea Asperti	Changed an ahstable into an association list.	blob \| commitdiff \| raw \| diff to current
2006-10-02	Enrico Tassi	restored old (r6662) behaviour	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-04-05	Enrico Tassi	a bit of shareing	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.