]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5e3736) | patch
Fixed typo ng_paramodulation_CNF
authordenes <??>
Fri, 25 Sep 2009 22:27:12 +0000 (22:27 +0000)
committerdenes <??>
Fri, 25 Sep 2009 22:27:12 +0000 (22:27 +0000)
commitb618c488ec6b128767af82128d1d4d953cf5c8af
treeaefc535279963d4f52dad7d16b93619c7cdfe7fatree | snapshot
parentd5e373656748835ecfe33041bbb87b786446b75fcommit | diff
Fixed typo
helm/software/components/ng_paramodulation/superposition.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.