]> 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: 94818c0) | patch
added records pp, ast and fixed a bug in match with only one branch
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 10 Jun 2005 16:52:07 +0000 (16:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 10 Jun 2005 16:52:07 +0000 (16:52 +0000)
commit426cad2769fcf6c6f1fdee965e6f0414aaf240db
tree18a28b195f078edb487d613fea1f0bdefecc0512tree | snapshot
parent94818c0bb29820bdf276faa8e515b284c8df0c40commit | diff
added records pp, ast and fixed a bug in match with only one branch
helm/ocaml/cic_transformations/ast2pres.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAst.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.