]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e05e28d) | patch
simplify has a brand new semantics!
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 Apr 2007 21:15:44 +0000 (21:15 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 Apr 2007 21:15:44 +0000 (21:15 +0000)
commit78f2fb8fcf0bbd2521b67e4366b734ad88ebdc68
tree821a2f1a8ee7df96a1ee7a9ac2417cb8ad749f54tree | snapshot
parente05e28d01c55699ce539699ac745341bfa4c1c0fcommit | diff
simplify has a brand new semantics!
replace_lifting passes a context to the comparison function
(but in the case Fix/CoFix is incomplete)
components/tactics/inversion.ml diff | blob | history
components/tactics/paramodulation/equality.ml diff | blob | history
components/tactics/primitiveTactics.ml diff | blob | history
components/tactics/proofEngineReduction.ml diff | blob | history
components/tactics/proofEngineReduction.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.