# HG changeset patch
# User wenzelm
# Date 1119020771 -7200
# Node ID 0c3db621bbbdf4e5af7896b79f18b58b27b471a0
# Parent  5d0d24bd2c96f46a97391a8f31d49b41a8a7321e
updated;

diff -r 5d0d24bd2c96 -r 0c3db621bbbd etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Fri Jun 17 16:18:49 2005 +0200
+++ b/etc/isar-keywords-ZF.el	Fri Jun 17 17:06:11 2005 +0200
@@ -216,6 +216,7 @@
     "structure"
     "type_elims"
     "type_intros"
+    "uses"
     "where"))
 
 (defconst isar-keywords-control
diff -r 5d0d24bd2c96 -r 0c3db621bbbd etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Jun 17 16:18:49 2005 +0200
+++ b/etc/isar-keywords.el	Fri Jun 17 17:06:11 2005 +0200
@@ -64,8 +64,8 @@
     "finalconsts"
     "finally"
     "fix"
+    "fixpat"
     "fixrec"
-    "fixpat"
     "from"
     "full_prf"
     "generate_code"
@@ -243,6 +243,7 @@
     "to"
     "transitions"
     "transrel"
+    "uses"
     "where"))
 
 (defconst isar-keywords-control
@@ -354,8 +355,8 @@
     "extract"
     "extract_type"
     "finalconsts"
+    "fixpat"
     "fixrec"
-    "fixpat"
     "generate_code"
     "global"
     "hide"
diff -r 5d0d24bd2c96 -r 0c3db621bbbd etc/settings
--- a/etc/settings	Fri Jun 17 16:18:49 2005 +0200
+++ b/etc/settings	Fri Jun 17 17:06:11 2005 +0200
@@ -222,3 +222,6 @@
 
 # Jerusat 1.3 (SAT Solver)
 #JERUSAT_HOME=/usr/local/bin
+
+# HOL4 proof objects (cf. Isabelle/src/HOL/Import)
+HOL4_PROOFS="$PROOF_DIRS:$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"