]> matita.cs.unibo.it Git - helm.git/commit
transcript updated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 15 Nov 2006 19:47:41 +0000 (19:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 15 Nov 2006 19:47:41 +0000 (19:47 +0000)
commitad17757edcc6cf75be576268fab8cf52751d679a
tree380421ef8a04974394bf2670cdd75bc09258599c
parent7c3c457a401cf4ce0b7304fb0dcbeb162c646449
transcript updated
15 files changed:
components/METAS/meta.helm-tactics.src
components/binaries/transcript/CoRN.conf.xml
components/binaries/transcript/Makefile
components/binaries/transcript/engine.ml
components/binaries/transcript/grafite.ml
components/binaries/transcript/grafite.mli
components/binaries/transcript/types.ml
components/binaries/transcript/v8Lexer.mll
components/binaries/transcript/v8Parser.mly
components/extlib/hExtlib.ml
components/extlib/hExtlib.mli
components/tactics/equalityTactics.ml
components/tactics/fwdSimplTactic.ml
components/tactics/proofEngineHelpers.ml
components/tactics/proofEngineHelpers.mli