]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_transformations/tacticAst.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6fa3218) | patch
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
tree3a8e23902963f02d6de4edabf9bb29a889b19352tree | snapshot
parent6fa3218efdfca5dd28fee2ef7a8c5e8de67ce829commit | diff
added ast for Match
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAst.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.