]> matita.cs.unibo.it Git - helm.git/commit
lapply and fwd improved
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 30 Jun 2005 14:27:19 +0000 (14:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 30 Jun 2005 14:27:19 +0000 (14:27 +0000)
commitebaf3deffea9ac78a2b8b2a6c128cc24ad8459ef
tree2c9bd1f4d80011772d513889c1456ce24f6de5b8
parenta3acd934eba07f24937e59c3c7a41db82d901025
lapply and fwd improved
helm/matita/matitaEngine.ml
helm/matita/tests/fguidi.ma
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/cic_transformations/tacticAstPp.ml
helm/ocaml/tactics/.depend
helm/ocaml/tactics/fwdSimplTactic.ml
helm/ocaml/tactics/fwdSimplTactic.mli
helm/ocaml/tactics/metadataQuery.ml
helm/ocaml/tactics/tactics.mli