]> matita.cs.unibo.it Git - helm.git/commit
added ast for Match
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 May 2005 12:52:59 +0000 (12:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 May 2005 12:52:59 +0000 (12:52 +0000)
commite937a197c1123e9adc6b2036ae47c7952ebbf138
tree3a8e23902963f02d6de4edabf9bb29a889b19352
parent6fa3218efdfca5dd28fee2ef7a8c5e8de67ce829
added ast for Match
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_transformations/tacticAst.ml