src/HOL/Tools/sat_solver.ML
changeset 19190 7c311c513bae
parent 18678 dd0c569fa43d
child 20033 2b8dbb637792
     1.1 --- a/src/HOL/Tools/sat_solver.ML	Sat Mar 04 21:39:08 2006 +0100
     1.2 +++ b/src/HOL/Tools/sat_solver.ML	Sun Mar 05 18:49:13 2006 +0100
     1.3 @@ -45,7 +45,7 @@
     1.4  
     1.5  (* ------------------------------------------------------------------------- *)
     1.6  (* type of partial (satisfying) assignments: 'a i = NONE' means that 'a' is  *)
     1.7 -(*      a satisfying assigment regardless of the value of variable 'i'       *)
     1.8 +(*      a satisfying assignment regardless of the value of variable 'i'      *)
     1.9  (* ------------------------------------------------------------------------- *)
    1.10  
    1.11  	type assignment = int -> bool option;