]> matita.cs.unibo.it Git - helm.git/commit
bug fix in subst tactic
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 26 Apr 2007 13:05:48 +0000 (13:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 26 Apr 2007 13:05:48 +0000 (13:05 +0000)
commit8b1cf6f098c7ffc7609d525f99f5b37423663970
treeea7a8dc66be0e8fddb1d01686a8e6d430185d108
parent8908aefdb1ef54d18b2b6ecee2ae30cbbf93f952
bug fix in subst tactic
components/tactics/.depend
components/tactics/.depend.opt
components/tactics/substTactic.ml
components/tactics/tactics.mli