diff -r d0250d01782c -r df053507edba isar-keywords-quot.el --- a/isar-keywords-quot.el Sun Dec 20 00:15:40 2009 +0100 +++ b/isar-keywords-quot.el Sun Dec 20 00:26:53 2009 +0100 @@ -193,8 +193,8 @@ "quickcheck" "quickcheck_params" "quit" - "quotient" "quotient_def" + "quotient_type" "realizability" "realizers" "recdef" @@ -511,7 +511,7 @@ "nominal_inductive2" "nominal_primrec" "prove" - "quotient" + "quotient_type" "recdef_tc" "rep_datatype" "specification"