]> matita.cs.unibo.it Git - helm.git/commit
added a parameter to unshare universes
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 10:21:45 +0000 (10:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 10:21:45 +0000 (10:21 +0000)
commit0ba52f4592974fc2f4aeba0135cec03f07cf662d
tree996aa127f8c31212a183a9142ebd0baaa876a03f
parentff2f125b1c37e7c1406ebca16de7b651802ebc91
added a parameter to unshare universes
helm/software/components/cic/unshare.ml
helm/software/components/cic/unshare.mli