]> matita.cs.unibo.it Git - helm.git/commit
- ProofEngineHelpers: namer_of moved to GrafiteEngine
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 13 Nov 2007 16:28:34 +0000 (16:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 13 Nov 2007 16:28:34 +0000 (16:28 +0000)
commit5c0c5980586c1fc530fd304275607dd2f8afeba0
tree70778b510dad6f7262f8e90dea7dbd0e1ea90d04
parentae98f5490e20dd26ece5804d9847acfba0e4d16b
- ProofEngineHelpers: namer_of moved to GrafiteEngine
- DestructTactic: unexported destruct_tac now uses lazy terms
components/grafite_engine/grafiteEngine.ml
components/tactics/destructTactic.ml
components/tactics/proofEngineHelpers.ml
components/tactics/proofEngineHelpers.mli