]> matita.cs.unibo.it Git - helm.git/commit
added Variant theorem flavour
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 8 Jul 2005 14:08:57 +0000 (14:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 8 Jul 2005 14:08:57 +0000 (14:08 +0000)
commit18b2b2742fe8ebb3d11b32b9bb727f510df6927a
tree83d207e761c113e2a6a524c96d57d132ec5ee093
parent1e3ecdc411ef77f18c1d090b615f2dc665af0313
added Variant theorem flavour
helm/ocaml/cic/cic.ml
helm/ocaml/cic/cicParser.ml
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_transformations/cic2Xml.ml
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/cic_transformations/tacticAstPp.ml