etc/isar-keywords.el
changeset 40209 8ec474f94d61
parent 40119 06191c5f3686
child 40386 bdce9a9ec0cd
     1.1 --- a/etc/isar-keywords.el	Wed Oct 27 08:58:03 2010 +0200
     1.2 +++ b/etc/isar-keywords.el	Wed Oct 27 13:46:30 2010 +0200
     1.3 @@ -491,6 +491,7 @@
     1.4      "overloading"
     1.5      "parse_ast_translation"
     1.6      "parse_translation"
     1.7 +    "partial_function"
     1.8      "primrec"
     1.9      "print_ast_translation"
    1.10      "print_translation"
    1.11 @@ -536,7 +537,6 @@
    1.12      "nominal_inductive"
    1.13      "nominal_inductive2"
    1.14      "nominal_primrec"
    1.15 -    "partial_function"
    1.16      "pcpodef"
    1.17      "quotient_type"
    1.18      "recdef_tc"