]> matita.cs.unibo.it Git - helm.git/commit
new macro ncheck. fixed term2pres for Inductive and LetIn=Cast
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Sep 2009 11:11:22 +0000 (11:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Sep 2009 11:11:22 +0000 (11:11 +0000)
commitcf4a3f9226194e0f6dc9572dea1090e2bfa55219
tree59b5fca548c1e1b7a60cdeca12017c195799d00f
parent32f2a8f8016b2c6c7fb88189fc0ea0c7f9336555
new macro ncheck. fixed term2pres for Inductive and LetIn=Cast
helm/software/components/content_pres/termContentPres.ml
helm/software/components/grafite/grafiteAst.ml
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_engine/grafiteEngine.mli
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/components/ng_cic_content/nTermCicContent.ml
helm/software/matita/matitaMathView.ml
helm/software/matita/matitaScript.ml
helm/software/matita/matitaTypes.ml
helm/software/matita/matitaTypes.mli