]> matita.cs.unibo.it Git - helm.git/commit
added function to fresh types
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 15:16:33 +0000 (15:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 15:16:33 +0000 (15:16 +0000)
commit5cbd03ea1aef33b66c1db22b2de2d9d2f95acb14
treef8c28785c652c62d2a6ad4f2035c929b31e483e0
parent481ad7e9dbc461e8f1b4a71aa85fa83500173329
added function to fresh types
helm/software/components/cic/unshare.ml
helm/software/components/cic/unshare.mli