Added nominal_inductive2.
authorberghofe
Tue Oct 21 21:22:31 2008 +0200 (2008-10-21)
changeset 28656e92c79b3b154
parent 28655 2822c56dd1cf
child 28657 16bbb7fabe0e
Added nominal_inductive2.
etc/isar-keywords.el
lib/jedit/isabelle.xml
     1.1 --- a/etc/isar-keywords.el	Tue Oct 21 21:22:02 2008 +0200
     1.2 +++ b/etc/isar-keywords.el	Tue Oct 21 21:22:31 2008 +0200
     1.3 @@ -32,7 +32,6 @@
     1.4      "atom_decl"
     1.5      "atp_info"
     1.6      "atp_kill"
     1.7 -    "atp_setup"
     1.8      "automaton"
     1.9      "ax_specification"
    1.10      "axclass"
    1.11 @@ -134,6 +133,7 @@
    1.12      "no_translations"
    1.13      "nominal_datatype"
    1.14      "nominal_inductive"
    1.15 +    "nominal_inductive2"
    1.16      "nominal_primrec"
    1.17      "nonterminals"
    1.18      "normal_form"
    1.19 @@ -413,7 +413,6 @@
    1.20      "abbreviation"
    1.21      "arities"
    1.22      "atom_decl"
    1.23 -    "atp_setup"
    1.24      "automaton"
    1.25      "axclass"
    1.26      "axiomatization"
    1.27 @@ -509,6 +508,7 @@
    1.28      "interpretation"
    1.29      "lemma"
    1.30      "nominal_inductive"
    1.31 +    "nominal_inductive2"
    1.32      "nominal_primrec"
    1.33      "pcpodef"
    1.34      "recdef_tc"
     2.1 --- a/lib/jedit/isabelle.xml	Tue Oct 21 21:22:02 2008 +0200
     2.2 +++ b/lib/jedit/isabelle.xml	Tue Oct 21 21:22:31 2008 +0200
     2.3 @@ -56,7 +56,6 @@
     2.4        <OPERATOR>atom_decl</OPERATOR>
     2.5        <LABEL>atp_info</LABEL>
     2.6        <LABEL>atp_kill</LABEL>
     2.7 -      <OPERATOR>atp_setup</OPERATOR>
     2.8        <KEYWORD4>attach</KEYWORD4>
     2.9        <OPERATOR>automaton</OPERATOR>
    2.10        <KEYWORD4>avoids</KEYWORD4>
    2.11 @@ -195,6 +194,7 @@
    2.12        <OPERATOR>no_translations</OPERATOR>
    2.13        <OPERATOR>nominal_datatype</OPERATOR>
    2.14        <OPERATOR>nominal_inductive</OPERATOR>
    2.15 +      <OPERATOR>nominal_inductive2</OPERATOR>
    2.16        <OPERATOR>nominal_primrec</OPERATOR>
    2.17        <OPERATOR>nonterminals</OPERATOR>
    2.18        <LABEL>normal_form</LABEL>