]> matita.cs.unibo.it Git - helm.git/commit
removed unif_ty ref
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 29 Mar 2006 12:18:56 +0000 (12:18 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 29 Mar 2006 12:18:56 +0000 (12:18 +0000)
commit54a261cf8956b1c9576fe24a86d37db336de8a64
treeba1e24c350a3ec7037e6ab87d2004f0ae288af9a
parent0242faad2b940b1cf5961ea9241854b31866fd65
removed unif_ty ref
helm/software/components/cic_unification/cicUnification.ml
helm/software/components/cic_unification/cicUnification.mli