lib/jedit/isabelle.xml
changeset 28656 e92c79b3b154
parent 28482 36b12b1be770
child 29113 fb31b7a6c858
     1.1 --- a/lib/jedit/isabelle.xml	Tue Oct 21 21:22:02 2008 +0200
     1.2 +++ b/lib/jedit/isabelle.xml	Tue Oct 21 21:22:31 2008 +0200
     1.3 @@ -56,7 +56,6 @@
     1.4        <OPERATOR>atom_decl</OPERATOR>
     1.5        <LABEL>atp_info</LABEL>
     1.6        <LABEL>atp_kill</LABEL>
     1.7 -      <OPERATOR>atp_setup</OPERATOR>
     1.8        <KEYWORD4>attach</KEYWORD4>
     1.9        <OPERATOR>automaton</OPERATOR>
    1.10        <KEYWORD4>avoids</KEYWORD4>
    1.11 @@ -195,6 +194,7 @@
    1.12        <OPERATOR>no_translations</OPERATOR>
    1.13        <OPERATOR>nominal_datatype</OPERATOR>
    1.14        <OPERATOR>nominal_inductive</OPERATOR>
    1.15 +      <OPERATOR>nominal_inductive2</OPERATOR>
    1.16        <OPERATOR>nominal_primrec</OPERATOR>
    1.17        <OPERATOR>nonterminals</OPERATOR>
    1.18        <LABEL>normal_form</LABEL>