]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/cic/cicUtil.ml
new dependences
[helm.git] / helm / software / components / cic / cicUtil.ml
2009-01-13 Enrico Tassimany changes regarding coercions:
2008-11-28 Ferruccio Guiding_disambiguation ng_kernel ng_refiner disambiguation...
2008-11-25 Ferruccio GuidicicUtil: we moved here pp_term from proceduralHelpers
2008-07-13 Ferruccio GuidicicUtil : we added a context to is_sober...
2008-03-11 Claudio Sacerdoti... Very experimental commit: the type of the source is...
2007-07-19 Ferruccio GuidicicUtil : new test function "is_sober" to test...
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs.
2007-04-04 Ferruccio Guidialpha equivalence fixed: in the case "meta against...
2007-04-04 Ferruccio Guidialpha equivalence test factorized and moved to CicUtil
2007-01-02 Enrico Tassiadded oblivion_universe and used it in paxck_coercions
2006-12-22 Andrea AspertiThe function uri_of_term now works also if the explciit...
2006-09-04 Enrico TassiBIG FAT COMMIT REGARDING COERCIONS:
2006-06-27 Enrico Tassiadded a metas_of_term implemented using sets instead...
2006-05-19 Enrico Tassi- metas_of_term moved to cicUtil
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/