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

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

2008-08-28	Ferruccio Guidi	cicDischarge: new module for discharging the explicit...	blob \| commitdiff \| raw
2008-07-23	Enrico Tassi	better ranking interface	blob \| commitdiff \| raw \| diff to current
2008-05-16	Enrico Tassi	ranking reports the lest of univs	blob \| commitdiff \| raw \| diff to current
2008-04-30	Enrico Tassi	universes are written with the URI inside objects,...	blob \| commitdiff \| raw \| diff to current
2008-04-22	Enrico Tassi	slow_implementation and some dead code removed	blob \| commitdiff \| raw \| diff to current
2008-04-11	Enrico Tassi	FIXED bug, added assertion in case a universe inside...	blob \| commitdiff \| raw \| diff to current
2007-01-02	Enrico Tassi	added oblivion_universe and used it in paxck_coercions	blob \| commitdiff \| raw \| diff to current
2006-10-23	Claudio Sacerdoti...	CicUniv.UniverseInconsistency is no handled correcly.	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.