]> matita.cs.unibo.it Git - helm.git/commit
we always save the discharged object for future reference
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 6 Sep 2008 15:02:42 +0000 (15:02 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 6 Sep 2008 15:02:42 +0000 (15:02 +0000)
commitdd6b6433d19ec2c8317f4d4a1398078dfc970b95
treec634c3075d73231b6e7ea590ee7de0ce8fa18d6c
parent3f0438ba048b12ed626f0fb1ac421cc6df4b7d9f
we always save the discharged object for future reference
helm/software/components/grafite_engine/grafiteEngine.mli
helm/software/matita/applyTransformation.ml
helm/software/matita/contribs/procedural/Coq/depends