]> matita.cs.unibo.it Git - helm.git/commit - helm/software/components/ng_paramodulation/nCicParamod.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e55fd0) | patch
The body of constants is a reference, not the actual body!
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Jan 2010 09:29:51 +0000 (09:29 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Jan 2010 09:29:51 +0000 (09:29 +0000)
commitc3186d490cc27c447ee3ae5c4cf6b5d8cef0ee5d
tree081e30a8d14e6518d9f1703b59009ae9c1e991d7tree | snapshot
parent2e55fd0b276071a142e523322a777fef8c9e5a3fcommit | diff
The body of constants is a reference, not the actual body!
helm/software/components/ng_paramodulation/nCicParamod.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.