--- 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
--- 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"
--- 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"