# HG changeset patch
# User berghofe
# Date 1224616951 -7200
# Node ID e92c79b3b154358ce6dd83c6cba1ad91babedddc
# Parent  2822c56dd1cf8239afec3e75cce647d22e168aae
Added nominal_inductive2.

diff -r 2822c56dd1cf -r e92c79b3b154 etc/isar-keywords.el
--- 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"
diff -r 2822c56dd1cf -r e92c79b3b154 lib/jedit/isabelle.xml
--- 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>