# HG changeset patch
# User webertj
# Date 1100883127 -3600
# Node ID 26724034de5ee7b08a8d0ad1b93d4a3a03d16684
# Parent  7dd5853a4812392e42d17d4e60152254a86d1cc6
comment modified

diff -r 7dd5853a4812 -r 26724034de5e src/HOL/Tools/prop_logic.ML
--- 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 *)