Cross Reference: /hets/Comorphisms/CASL2Skolem.hs

History log of /hets/Comorphisms/CASL2Skolem.hs
Revision	Date	Author	Comments Expand
2ba99bf465a304adc9ddb50f7cf4989e1b3c1ddf	09-Jun-2016	mcodescu <mscodescu@gmail.com>	removed miniscoping /hets/CASL/Sublogic.hs CASL2Skolem.hs
a0951ecefe9f0733f3bbb6039bf66af7d72b3944	06-Jun-2016	mcodescu <mscodescu@gmail.com>	fixed CASL2Skolem /hets/CASL/Sublogic.hs CASL2HasCASL.hs CASL2Skolem.hs /hets/Logic/Comorphism.hs /hets/OWL2/CASL2OWL.hs
8df9af3ef3272f3f36064b1ccf75d371f9c77ee2	18-May-2016	mcodescu <mscodescu@gmail.com>	moved nnf to its own module, keep sentence order and names, formatting CASL2Skolem.hs
776eab15abad558c6ac108e0e6cef9af28cc282c	24-Mar-2016	mcodescu <mscodescu@gmail.com>	tracing messages CASL2Skolem.hs
2954f6dd519742dd6d6dd8de6f3e5902ed6c07ab	11-Mar-2016	mcodescu <mscodescu@gmail.com>	comorphisms, need more testing /hets/CASL/Induction.hs /hets/CASL/Sign.hs CASL2Prenex.hs CASL2Skolem.hs LogicGraph.hs