# HG changeset patch
# User wenzelm
# Date 1147807976 -7200
# Node ID f10b141078e7e1fc41a79809f0567f75e8598446
# Parent  2c02a80546167583e20efcc44bda810b4059734e
updated;

diff -r 2c02a8054616 -r f10b141078e7 etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Tue May 16 20:28:02 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Tue May 16 21:32:56 2006 +0200
@@ -55,6 +55,7 @@
     "code_syntax_tyco"
     "coinductive"
     "commit"
+    "const_syntax"
     "constdefs"
     "consts"
     "consts_code"
@@ -370,6 +371,7 @@
     "code_syntax_const"
     "code_syntax_tyco"
     "coinductive"
+    "const_syntax"
     "constdefs"
     "consts"
     "consts_code"
diff -r 2c02a8054616 -r f10b141078e7 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue May 16 20:28:02 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Tue May 16 21:32:56 2006 +0200
@@ -53,6 +53,7 @@
     "code_syntax_tyco"
     "coinductive"
     "commit"
+    "const_syntax"
     "constdefs"
     "consts"
     "consts_code"
@@ -358,6 +359,7 @@
     "code_syntax_const"
     "code_syntax_tyco"
     "coinductive"
+    "const_syntax"
     "constdefs"
     "consts"
     "consts_code"
diff -r 2c02a8054616 -r f10b141078e7 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue May 16 20:28:02 2006 +0200
+++ b/etc/isar-keywords.el	Tue May 16 21:32:56 2006 +0200
@@ -55,6 +55,7 @@
     "code_syntax_tyco"
     "coinductive"
     "commit"
+    "const_syntax"
     "constdefs"
     "consts"
     "consts_code"
@@ -391,6 +392,7 @@
     "code_syntax_const"
     "code_syntax_tyco"
     "coinductive"
+    "const_syntax"
     "constdefs"
     "consts"
     "consts_code"