]> matita.cs.unibo.it Git - helm.git/commit
Module TacticAst2Box unused!
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 14:18:51 +0000 (14:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 14:18:51 +0000 (14:18 +0000)
commit3b4c8315cd31b9ce3677335ccd7092aa4b87bc24
tree63b6988d141cc477fee154d8a858d615f973776b
parenta587842178f40386fc34c4f64b950f3d749df2b9
Module TacticAst2Box unused!
helm/ocaml/cic_transformations/.depend
helm/ocaml/cic_transformations/Makefile
helm/ocaml/cic_transformations/tacticAst2Box.ml [deleted file]
helm/ocaml/cic_transformations/tacticAst2Box.mli [deleted file]