]> matita.cs.unibo.it Git - helm.git/commit
fixed coercion mechanism w.r.t. undo/require
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 14 Sep 2009 15:57:02 +0000 (15:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 14 Sep 2009 15:57:02 +0000 (15:57 +0000)
commitb266ed97b63400d62ab4ba6a4ebdfbc1d5b0c2bb
tree48e85e70d53219fea06cb2ed5637dbb713701d13
parent09026b73c51e7e91948b34fddb4f0cc0b377113e
fixed coercion mechanism w.r.t. undo/require
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_engine/nCicCoercDeclaration.ml
helm/software/components/grafite_engine/nCicCoercDeclaration.mli
helm/software/components/ng_kernel/nCicLibrary.ml
helm/software/matita/nlibrary/sets/sets.ma