
diff -r 273f57049bd1 -r 2f13fe48c877 Nominal/NewParser.thy
--- a/Nominal/NewParser.thy	Tue Jul 20 06:14:16 2010 +0100
+++ b/Nominal/NewParser.thy	Thu Jul 22 08:30:50 2010 +0200
@@ -438,7 +438,7 @@
   val qtys = map #qtyp qty_infos
   
   (* defining of quotient term-constructors, binding functions, free vars functions *)
-  val _ = warning "Defining the quotient constnats"
+  val _ = warning "Defining the quotient constants"
   val qconstrs_descr = 
     flat (map (fn (_, _, _, cs) => map (fn (b, _, mx) => (Name.of_binding b, mx)) cs) dts)
     |> map2 (fn t => fn (b, mx) => (b, t, mx)) all_raw_constrs




