]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fba2e2e) | patch
bug fix in injection: we have to recur on the generated premises
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 24 Oct 2007 17:24:18 +0000 (17:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 24 Oct 2007 17:24:18 +0000 (17:24 +0000)
commit681ef7c2760a6c628ed4fa96b2f9b5690ac5e1c8
tree029344d8aeca2234157ff5beef11c3ee698c6f05tree | snapshot
parentfba2e2e69c7ad9ed9a8747bcdf817de23781bb71commit | diff
bug fix in injection: we have to recur on the generated premises
components/tactics/discriminationTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.