--- a/src/Tools/Metis/src/Normalize.sig Mon Sep 13 20:27:40 2010 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,21 +0,0 @@
-(* ========================================================================= *)
-(* NORMALIZING FORMULAS *)
-(* Copyright (c) 2001-2007 Joe Hurd, distributed under the BSD License *)
-(* ========================================================================= *)
-
-signature Normalize =
-sig
-
-(* ------------------------------------------------------------------------- *)
-(* Negation normal form. *)
-(* ------------------------------------------------------------------------- *)
-
-val nnf : Formula.formula -> Formula.formula
-
-(* ------------------------------------------------------------------------- *)
-(* Conjunctive normal form. *)
-(* ------------------------------------------------------------------------- *)
-
-val cnf : Formula.formula -> Formula.formula list
-
-end