]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eed8389) | patch
New management of resulting subst in deep_eq: used to be malformed.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 28 Oct 2011 10:59:33 +0000 (10:59 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 28 Oct 2011 10:59:33 +0000 (10:59 +0000)
commitb7b166c432e2118e3270ff4e07467bfbe4ebc57b
treeef7b645985d34f2c3981e053af630e44594c8bc6tree | snapshot
parenteed8389a5e472a79d242d4ce43a82f1cd2ac13c1commit | diff
New management of resulting subst in deep_eq: used to be malformed.
matitaB/components/ng_paramodulation/nCicProof.ml diff | blob | history
matitaB/components/ng_paramodulation/superposition.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.