Added "import" and "begin"
authornipkow
Mon Aug 16 19:06:59 2004 +0200 (2004-08-16)
changeset 15135f00857c7539b
parent 15134 d3fa5e1d6e4d
child 15136 1275417e3930
Added "import" and "begin"
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Mon Aug 16 18:05:41 2004 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Aug 16 19:06:59 2004 +0200
     1.3 @@ -183,6 +183,7 @@
     1.4    '("advanced"
     1.5      "and"
     1.6      "assumes"
     1.7 +    "begin"
     1.8      "binder"
     1.9      "case_eqns"
    1.10      "con_defs"
    1.11 @@ -192,6 +193,7 @@
    1.12      "elimination"
    1.13      "files"
    1.14      "fixes"
    1.15 +    "import"
    1.16      "in"
    1.17      "includes"
    1.18      "induction"
     2.1 --- a/etc/isar-keywords.el	Mon Aug 16 18:05:41 2004 +0200
     2.2 +++ b/etc/isar-keywords.el	Mon Aug 16 19:06:59 2004 +0200
     2.3 @@ -193,6 +193,7 @@
     2.4      "advanced"
     2.5      "and"
     2.6      "assumes"
     2.7 +    "begin"
     2.8      "binder"
     2.9      "compose"
    2.10      "concl"
    2.11 @@ -203,6 +204,7 @@
    2.12      "fixes"
    2.13      "hide_action"
    2.14      "hints"
    2.15 +    "import"
    2.16      "in"
    2.17      "includes"
    2.18      "induction"