comment modified
authorwebertj
Fri Nov 19 17:52:07 2004 +0100 (2004-11-19)
changeset 1530126724034de5e
parent 15300 7dd5853a4812
child 15302 a643fcbc3468
comment modified
src/HOL/Tools/prop_logic.ML
     1.1 --- a/src/HOL/Tools/prop_logic.ML	Fri Nov 19 17:31:49 2004 +0100
     1.2 +++ b/src/HOL/Tools/prop_logic.ML	Fri Nov 19 17:52:07 2004 +0100
     1.3 @@ -21,7 +21,7 @@
     1.4  	val SAnd : prop_formula * prop_formula -> prop_formula
     1.5  
     1.6  	val indices : prop_formula -> int list  (* set of all variable indices *)
     1.7 -	val maxidx  : prop_formula -> int  (* maximal variable index *)
     1.8 +	val maxidx  : prop_formula -> int       (* maximal variable index *)
     1.9  
    1.10  	val nnf    : prop_formula -> prop_formula  (* negation normal form *)
    1.11  	val cnf    : prop_formula -> prop_formula  (* conjunctive normal form *)