]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c30eca6) | 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)
commiteb363293909232713275c44c94e1fa7d7dce9628
treeb441ad435432817bebe5e731b685f751d16d792btree | snapshot
parentc30eca6661470cc26554ebcdd1514f9f696e3da4commit | diff
added the rule field to goal_proof.
fixed the SupL proof generation (but I think the fix should not be here)
components/tactics/paramodulation/equality.ml diff | blob | history
components/tactics/paramodulation/equality.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.