]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1c9f6e) | patch
Added is_equation
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 11 Jan 2010 11:21:58 +0000 (11:21 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 11 Jan 2010 11:21:58 +0000 (11:21 +0000)
commit9b6600b6ebde837548d46c6c1879ff9d37f56194
tree1de4d7d62f7d430c43b1ee05a59725e5171be63btree | snapshot
parente1c9f6efed4412893819965af30f6e44fa23f37bcommit | diff
Added is_equation
helm/software/components/ng_paramodulation/nCicParamod.ml diff | blob | history
helm/software/components/ng_paramodulation/nCicParamod.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.