]> matita.cs.unibo.it Git - helm.git/commit
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
tree081e30a8d14e6518d9f1703b59009ae9c1e991d7
parent2e55fd0b276071a142e523322a777fef8c9e5a3f
The body of constants is a reference, not the actual body!
helm/software/components/ng_paramodulation/nCicParamod.ml