# HG changeset patch
# User wenzelm
# Date 1147481506 -7200
# Node ID a6fad1e8bbd289f1e06dab9c299f6b4118a85f1e
# Parent  21e04f0edd8225d799aadac3783e8cdcac218783
updated;

diff -r 21e04f0edd82 -r a6fad1e8bbd2 etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Sat May 13 02:51:45 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Sat May 13 02:51:46 2006 +0200
@@ -251,6 +251,7 @@
     "shows"
     "structure"
     "target_atom"
+    "unchecked"
     "uses"
     "where"))
 
diff -r 21e04f0edd82 -r a6fad1e8bbd2 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Sat May 13 02:51:45 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Sat May 13 02:51:46 2006 +0200
@@ -47,6 +47,7 @@
     "code_primclass"
     "code_primconst"
     "code_primtyco"
+    "code_purge"
     "code_serialize"
     "code_syntax_const"
     "code_syntax_tyco"
@@ -239,6 +240,7 @@
     "target_atom"
     "type_elims"
     "type_intros"
+    "unchecked"
     "uses"
     "where"))
 
@@ -351,6 +353,7 @@
     "code_primclass"
     "code_primconst"
     "code_primtyco"
+    "code_purge"
     "code_serialize"
     "code_syntax_const"
     "code_syntax_tyco"
diff -r 21e04f0edd82 -r a6fad1e8bbd2 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sat May 13 02:51:45 2006 +0200
+++ b/etc/isar-keywords.el	Sat May 13 02:51:46 2006 +0200
@@ -272,6 +272,7 @@
     "to"
     "transitions"
     "transrel"
+    "unchecked"
     "uses"
     "where"))