]> matita.cs.unibo.it Git - helm.git/commit
subst tactic put in a file on its own
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 16 Apr 2007 15:28:27 +0000 (15:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 16 Apr 2007 15:28:27 +0000 (15:28 +0000)
commite436c170ce2b9154d3e090c2140e8a0172f4a016
tree0fb007e7876fc52854e1f77967ac02564755fc0d
parentbb4f21cca72a36572dd7a97cf70f8a9eeafc4d6b
subst tactic put in a file on its own
helm/software/components/tactics/.depend
helm/software/components/tactics/.depend.opt
helm/software/components/tactics/Makefile
helm/software/components/tactics/equalityTactics.ml
helm/software/components/tactics/equalityTactics.mli
helm/software/components/tactics/substTactic.ml [new file with mode: 0644]
helm/software/components/tactics/substTactic.mli [new file with mode: 0644]
helm/software/components/tactics/tactics.ml
helm/software/components/tactics/tactics.mli