]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a18d453) | patch
Now using lazy strings for debug printings
authordenes <??>
Wed, 22 Jul 2009 13:14:16 +0000 (13:14 +0000)
committerdenes <??>
Wed, 22 Jul 2009 13:14:16 +0000 (13:14 +0000)
commit63741bdebe93f58cef3ea791ca634ef17237bd7f
tree0ee40bbf3b74aa58513948a67e48dc240d278702tree | snapshot
parenta18d453a88b652f9a87c529c07d662f1e96079a9commit | diff
Now using lazy strings for debug printings
helm/software/components/ng_paramodulation/paramod.ml diff | blob | history
helm/software/components/ng_paramodulation/superposition.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.