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

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

2008-04-11	Enrico Tassi	added function to fresh types	blob \| commitdiff \| raw
2008-04-11	Enrico Tassi	added a parameter to unshare universes	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.