]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e615e0b) | patch
the predicate for elim was not built correctly when more than one right parameter...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Jul 2007 16:07:11 +0000 (16:07 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Jul 2007 16:07:11 +0000 (16:07 +0000)
commit07d2ed390e9e19420aa8e12a3ccac1d68cbd928d
tree795ae2596243a44a76fb7d9379b744769fc1f55etree | snapshot
parente615e0be01363fb511e06fe1752f2869518e83d7commit | diff
the predicate for elim was not built correctly when more than one right parameter was found
helm/software/components/tactics/primitiveTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.