]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 879e5c4) | patch
added function term_of_equality to re-build the Cic.term from an equality
authorAlberto Griggio <griggio@fbk.eu>
Mon, 5 Dec 2005 16:48:44 +0000 (16:48 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Mon, 5 Dec 2005 16:48:44 +0000 (16:48 +0000)
commitc3955b4db6dcb1b2c815cfe684e57caaa12b6b6c
tree3354efab27089261f1d8fda7aec8b26763c4cb73tree | snapshot
parent879e5c4aa7687be63527845ba34d2d0bb12546a3commit | diff
added function term_of_equality to re-build the Cic.term from an equality
helm/ocaml/paramodulation/inference.ml diff | blob | history
helm/ocaml/paramodulation/inference.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.