]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: wrong default pattern for generalize.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 8 Jun 2008 14:00:37 +0000 (14:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 8 Jun 2008 14:00:37 +0000 (14:00 +0000)
commit61379c8030304072ab347400718e1ef25762df80
treeb5ed0eaeb3e1036569bf8d6be224d9bd058b53af
parent393187c5f5a6e71d467ab04b65f3a935701724fb
Bug fixed: wrong default pattern for generalize.
helm/software/components/tactics/primitiveTactics.ml
helm/software/components/tactics/tactics.mli