]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e140c6) | patch
added the rule field to goal_proof.
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 28 May 2006 16:09:00 +0000 (16:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 28 May 2006 16:09:00 +0000 (16:09 +0000)
commit9809bb28066665067dc4669a631fdd4fe18b6a22
tree297ee96855e64b46ac147ae3e49602dd648d7918tree | snapshot
parent2e140c656f8913918395687d19641d740089e6e2commit | diff
added the rule field to goal_proof.
fixed the SupL proof generation (but I think the fix should not be here)
helm/software/components/tactics/paramodulation/equality.ml diff | blob | history
helm/software/components/tactics/paramodulation/equality.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.