updated;
authorwenzelm
Tue Feb 26 21:44:06 2002 +0100 (2002-02-26)
changeset 12954850609c057e2
parent 12953 7d5bd53555d8
child 12955 f4d60f358cb6
updated;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Tue Feb 26 18:20:25 2002 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Feb 26 21:44:06 2002 +0100
     1.3 @@ -180,6 +180,7 @@
     1.4      "files"
     1.5      "fixes"
     1.6      "in"
     1.7 +    "includes"
     1.8      "induction"
     1.9      "infix"
    1.10      "infixl"
    1.11 @@ -195,7 +196,6 @@
    1.12      "structure"
    1.13      "type_elims"
    1.14      "type_intros"
    1.15 -    "uses"
    1.16      "where"))
    1.17  
    1.18  (defconst isar-keywords-control
     2.1 --- a/etc/isar-keywords.el	Tue Feb 26 18:20:25 2002 +0100
     2.2 +++ b/etc/isar-keywords.el	Tue Feb 26 21:44:06 2002 +0100
     2.3 @@ -187,6 +187,7 @@
     2.4      "hide_action"
     2.5      "hints"
     2.6      "in"
     2.7 +    "includes"
     2.8      "induction"
     2.9      "infix"
    2.10      "infixl"
    2.11 @@ -216,7 +217,6 @@
    2.12      "to"
    2.13      "transitions"
    2.14      "transrel"
    2.15 -    "uses"
    2.16      "where"))
    2.17  
    2.18  (defconst isar-keywords-control