]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b6600b) | patch
saturate cust be called with delta=0
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 11 Jan 2010 11:23:25 +0000 (11:23 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 11 Jan 2010 11:23:25 +0000 (11:23 +0000)
commit94bd7b4d027e4152bd08cb984a66fae7077d9da6
treed8b4a790c36410f6d06db57b3b29f10dff499e93tree | snapshot
parent9b6600b6ebde837548d46c6c1879ff9d37f56194commit | diff
saturate cust be called with delta=0
helm/software/components/ng_paramodulation/nCicBlob.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.