Prop2CNF.hs revision 926b3c5491f1c608f5b79e2d8014d7a1385558c3
8a77240a809197c92c0736c431b4b88947a7bac1Christian MaederModule : $Header$
d3f5a64c6ed1b24fcaedff9a6fd6f94fe6d8a785Christian MaederDescription : Helper functions for CNF translation
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerCopyright : (c) Dominik Luecke, Uni Bremen 2007
e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt