--- a/src/HOL/Tools/prop_logic.ML Fri Nov 19 17:31:49 2004 +0100
+++ b/src/HOL/Tools/prop_logic.ML Fri Nov 19 17:52:07 2004 +0100
@@ -21,7 +21,7 @@
val SAnd : prop_formula * prop_formula -> prop_formula
val indices : prop_formula -> int list (* set of all variable indices *)
- val maxidx : prop_formula -> int (* maximal variable index *)
+ val maxidx : prop_formula -> int (* maximal variable index *)
val nnf : prop_formula -> prop_formula (* negation normal form *)
val cnf : prop_formula -> prop_formula (* conjunctive normal form *)