author | haftmann |
Wed, 27 Oct 2010 16:40:34 +0200 | |
changeset 40211 | 43916ac560a4 |
parent 40209 | 8ec474f94d61 (diff) |
parent 40210 | aee7ef725330 (current diff) |
child 40219 | b283680d8044 |
--- a/etc/isar-keywords.el Wed Oct 27 16:40:31 2010 +0200 +++ b/etc/isar-keywords.el Wed Oct 27 16:40:34 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"