Added nominal_inductive2.
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>