]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2554aaf) | patch
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)
commite05e28d01c55699ce539699ac745341bfa4c1c0f
tree57368700aafac0b7ca0554e4a45f9422551eb4f9tree | snapshot
parent2554aaf0e1923a81b1cedcfd8292d2de16c9a06fcommit | diff
subst tactic put in a file on its own
components/tactics/.depend diff | blob | history
components/tactics/.depend.opt diff | blob | history
components/tactics/Makefile diff | blob | history
components/tactics/equalityTactics.ml diff | blob | history
components/tactics/equalityTactics.mli diff | blob | history
components/tactics/substTactic.ml [new file with mode: 0644] blob
components/tactics/substTactic.mli [new file with mode: 0644] blob
components/tactics/tactics.ml diff | blob | history
components/tactics/tactics.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.