]> matita.cs.unibo.it Git - helm.git/commit
meta not considered before in outtype
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 11 Jun 2008 09:24:08 +0000 (09:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 11 Jun 2008 09:24:08 +0000 (09:24 +0000)
commit102a4101f6b4b7da9861de73054188df470c4462
treececb9cd6315b1294f1c0ac1f24fe434f2e26c2ce
parent9f064ffe2834ae91f306b44f79bfbfb68a4631c5
meta not considered before in outtype
helm/software/components/cic_unification/cicRefine.ml