]> matita.cs.unibo.it Git - helm.git/commit
added tentative elim
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 1 Apr 2009 16:41:20 +0000 (16:41 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 1 Apr 2009 16:41:20 +0000 (16:41 +0000)
commit780525c2f318cfe782c3d41b70607ba9d72bcc80
tree075c21bfb6101eb743cd7b1fed52163741bb9168
parente898ca2563cc4dfbd328efc7aa3a4ff86feaec92
added tentative elim
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_disambiguation/nCicDisambiguate.ml
helm/software/components/ng_kernel/.depend
helm/software/components/ng_kernel/nCicPp.ml
helm/software/components/ng_kernel/nCicPp.mli
helm/software/components/ng_kernel/nCicReduction.ml
helm/software/components/ng_tactics/nTactics.ml
helm/software/components/ng_tactics/nTactics.mli