updated keywords;
authorwenzelm
Mon Oct 25 11:01:00 2010 +0200 (2010-10-25)
changeset 40109ebe2253e5c0e
parent 40108 dbab949c2717
child 40110 93e7935d4cb5
updated keywords;
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Sat Oct 23 23:42:04 2010 +0200
     1.2 +++ b/etc/isar-keywords.el	Mon Oct 25 11:01:00 2010 +0200
     1.3 @@ -95,7 +95,6 @@
     1.4      "find_consts"
     1.5      "find_theorems"
     1.6      "fix"
     1.7 -    "fixpat"
     1.8      "fixrec"
     1.9      "from"
    1.10      "full_prf"
    1.11 @@ -151,6 +150,7 @@
    1.12      "overloading"
    1.13      "parse_ast_translation"
    1.14      "parse_translation"
    1.15 +    "partial_function"
    1.16      "pcpodef"
    1.17      "pr"
    1.18      "prefer"
    1.19 @@ -462,7 +462,6 @@
    1.20      "extract"
    1.21      "extract_type"
    1.22      "finalconsts"
    1.23 -    "fixpat"
    1.24      "fixrec"
    1.25      "fun"
    1.26      "hide_class"
    1.27 @@ -535,6 +534,7 @@
    1.28      "nominal_inductive"
    1.29      "nominal_inductive2"
    1.30      "nominal_primrec"
    1.31 +    "partial_function"
    1.32      "pcpodef"
    1.33      "quotient_type"
    1.34      "recdef_tc"