]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_paramodulation/nCicProof.mli
parameter sintax added to axiom statement
[helm.git] / helm / software / components / ng_paramodulation / nCicProof.mli
2010-03-18 Andrea AspertiExporting the demodulation function.
2009-12-21 Andrea AspertiTrying to be faster
2009-12-18 Andrea AspertiFinal subst returned by superposition and passed around.
2009-12-02 Andrea AspertiNew ways for initialising the signature required for...
2009-10-07 Claudio Sacerdoti... - oCic2NCic and nCic2OCic moved to ng_library
2009-06-25 Enrico Tassicode refactoring for paramodulation