changeset 40209 | 8ec474f94d61 |
parent 40119 | 06191c5f3686 |
child 40386 | bdce9a9ec0cd |
--- a/etc/isar-keywords.el Wed Oct 27 08:58:03 2010 +0200 +++ b/etc/isar-keywords.el Wed Oct 27 13:46:30 2010 +0200 @@ -491,6 +491,7 @@ "overloading" "parse_ast_translation" "parse_translation" + "partial_function" "primrec" "print_ast_translation" "print_translation" @@ -536,7 +537,6 @@ "nominal_inductive" "nominal_inductive2" "nominal_primrec" - "partial_function" "pcpodef" "quotient_type" "recdef_tc"