]> matita.cs.unibo.it Git - helm.git/commit
firs wrking (?) version of lapply
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 25 Jun 2005 19:14:00 +0000 (19:14 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 25 Jun 2005 19:14:00 +0000 (19:14 +0000)
commit90c15accf8c385a3dc44aa5f6df13f707514e2cd
tree022d3d2418449682b8e4c1d4c53b553ad1ebb8b8
parent98c386d8d12a2fe4d64017e0b1bf684b22fe6423
firs wrking (?) version of lapply
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/tactics/fwdSimplTactic.ml
helm/ocaml/tactics/fwdSimplTactic.mli
helm/ocaml/tactics/tacticals.ml
helm/ocaml/tactics/tactics.mli