Cross Reference: /hets/Comorphisms/CASL2NNF.hs

History log of /hets/Comorphisms/CASL2NNF.hs
Revision	Date	Author	Comments Expand
414029fc573cb2506241ed5a17643f9f721502b8	13-Mar-2017	Eugen Kuksa <kuksa.eugen@gmail.com>	Fix confusion about RevImpl. /hets/CASL/AS_Basic_CASL.der.hs CASL2NNF.hs CASL2Prenex.hs SuleCFOL2SoftFOL.hs
d112a51e55ef558bc9d88237077c75f1a207e0dd	06-Jun-2016	mcodescu <mscodescu@gmail.com>	corrected NNF /hets/CASL/AS_Basic_CASL.der.hs CASL2NNF.hs
d13ce5ebc747f584bd2bbe12b71732d0c74e8573	18-May-2016	mcodescu <mscodescu@gmail.com>	formatting CASL2NNF.hs
a836ddc0778b3eb7636b831a3ca0afabab6c13c0	18-May-2016	mcodescu <mscodescu@gmail.com>	negation normal form as a separate comorphism CASL2NNF.hs LogicGraph.hs