]> matita.cs.unibo.it Git - helm.git/commit
tactic cases works! delift clears tags
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 6 Apr 2009 17:03:55 +0000 (17:03 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 6 Apr 2009 17:03:55 +0000 (17:03 +0000)
commit4b6193be548c96964beee706b75a06e269eed88d
tree4406262c41b37e83886d5a4fa9f12967dd45a0ce
parent86ff79af764c2a434fdf38ea344ab722811981c8
tactic cases works! delift clears tags
helm/software/components/grafite/grafiteAst.ml
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/components/ng_refiner/nCicMetaSubst.ml
helm/software/components/ng_refiner/nCicRefiner.ml
helm/software/components/ng_refiner/nCicUnification.ml
helm/software/components/ng_tactics/nTacStatus.ml
helm/software/components/ng_tactics/nTacStatus.mli
helm/software/components/ng_tactics/nTactics.ml
helm/software/components/ng_tactics/nTactics.mli