]> matita.cs.unibo.it Git - helm.git/commit
lapply tactic continued
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 24 Jun 2005 18:43:43 +0000 (18:43 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 24 Jun 2005 18:43:43 +0000 (18:43 +0000)
commit98c386d8d12a2fe4d64017e0b1bf684b22fe6423
tree6fb8e9f40b7ca4521eda20da384b0f2e81722d86
parentcaaca5ed51e45a023ccb1244fd5cbbb32d233e2e
lapply tactic continued
helm/matita/matitaEngine.ml
helm/ocaml/tactics/fwdSimplTactic.ml
helm/ocaml/tactics/fwdSimplTactic.mli
helm/ocaml/tactics/tactics.mli