src/Pure/ProofGeneral/preferences.ML

 			  default: string,
 			  pgiptype: pgiptype,
 			  get: unit -> string,
 			  set: string -> unit }
 
-  (* table of categorised and preferences; names must be unique *)
+  (* table of categories and preferences; names must be unique *)
   type isa_preference_table = (string * isa_preference list) list
 
   val preferences : isa_preference_table
 
   val remove      : string -> isa_preference_table -> isa_preference_table