]> matita.cs.unibo.it Git - helm.git/commit
TacticAst2Box no longer used.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 14:20:45 +0000 (14:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 14:20:45 +0000 (14:20 +0000)
commit11cefd39e89f8f7aefdf615f0d0eff35865b29c2
tree504d3ba23e83fafcf070c41a554708ff2433b664
parent3b4c8315cd31b9ce3677335ccd7092aa4b87bc24
TacticAst2Box no longer used.
helm/ocaml/cic_disambiguation/test_parser.ml