# HG changeset patch
# User haftmann
# Date 1184052254 -7200
# Node ID b784849811fc938ca356ff46f0b5b52f0595c196
# Parent  cedf9610b71d1e519895f5623f56982721c5f31b
updated keywords

diff -r cedf9610b71d -r b784849811fc etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Tue Jul 10 09:23:17 2007 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Tue Jul 10 09:24:14 2007 +0200
@@ -276,6 +276,7 @@
     "sequential"
     "shows"
     "structure"
+    "to"
     "unchecked"
     "uses"
     "where"))
diff -r cedf9610b71d -r b784849811fc etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue Jul 10 09:23:17 2007 +0200
+++ b/etc/isar-keywords-ZF.el	Tue Jul 10 09:24:14 2007 +0200
@@ -251,6 +251,7 @@
     "recursor_eqns"
     "shows"
     "structure"
+    "to"
     "type_elims"
     "type_intros"
     "unchecked"