Added nominal_inductive2.
--- a/etc/isar-keywords.el Tue Oct 21 21:22:02 2008 +0200
+++ b/etc/isar-keywords.el Tue Oct 21 21:22:31 2008 +0200
@@ -32,7 +32,6 @@
"atom_decl"
"atp_info"
"atp_kill"
- "atp_setup"
"automaton"
"ax_specification"
"axclass"
@@ -134,6 +133,7 @@
"no_translations"
"nominal_datatype"
"nominal_inductive"
+ "nominal_inductive2"
"nominal_primrec"
"nonterminals"
"normal_form"
@@ -413,7 +413,6 @@
"abbreviation"
"arities"
"atom_decl"
- "atp_setup"
"automaton"
"axclass"
"axiomatization"
@@ -509,6 +508,7 @@
"interpretation"
"lemma"
"nominal_inductive"
+ "nominal_inductive2"
"nominal_primrec"
"pcpodef"
"recdef_tc"
--- a/lib/jedit/isabelle.xml Tue Oct 21 21:22:02 2008 +0200
+++ b/lib/jedit/isabelle.xml Tue Oct 21 21:22:31 2008 +0200
@@ -56,7 +56,6 @@
<OPERATOR>atom_decl</OPERATOR>
<LABEL>atp_info</LABEL>
<LABEL>atp_kill</LABEL>
- <OPERATOR>atp_setup</OPERATOR>
<KEYWORD4>attach</KEYWORD4>
<OPERATOR>automaton</OPERATOR>
<KEYWORD4>avoids</KEYWORD4>
@@ -195,6 +194,7 @@
<OPERATOR>no_translations</OPERATOR>
<OPERATOR>nominal_datatype</OPERATOR>
<OPERATOR>nominal_inductive</OPERATOR>
+ <OPERATOR>nominal_inductive2</OPERATOR>
<OPERATOR>nominal_primrec</OPERATOR>
<OPERATOR>nonterminals</OPERATOR>
<LABEL>normal_form</LABEL>