]> matita.cs.unibo.it Git - helm.git/commit
"include" command implemented.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Jul 2005 10:38:32 +0000 (10:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Jul 2005 10:38:32 +0000 (10:38 +0000)
commitb6101c89b49ad1df07df62ec661c8b30bda99a2a
treec9cccc11aac7d2e3e1d833c1f0d2b0a7fe97db31
parentee3f2aa5b78aa77555e5e81d5a2d92501889649e
"include" command implemented.
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/cic_transformations/tacticAstPp.ml