]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: befd0e7) | patch
Added check for trivial (identity) goal
authordenes <??>
Thu, 30 Jul 2009 09:44:05 +0000 (09:44 +0000)
committerdenes <??>
Thu, 30 Jul 2009 09:44:05 +0000 (09:44 +0000)
commitddba563cd3f42a7947a0e0b464d5dd3c5f9b299d
tree6d377ea37ceb751f060367cae27926fb41672380tree | snapshot
parentbefd0e7820308a9a09d3499c8131e26578efc462commit | diff
Added check for trivial (identity) goal
helm/software/components/ng_paramodulation/superposition.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.