updated;
authorwenzelm
Fri Jun 17 17:06:11 2005 +0200 (2005-06-17)
changeset 164190c3db621bbbd
parent 16418 5d0d24bd2c96
child 16420 51ef215499cb
updated;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
etc/settings
     1.1 --- a/etc/isar-keywords-ZF.el	Fri Jun 17 16:18:49 2005 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Fri Jun 17 17:06:11 2005 +0200
     1.3 @@ -216,6 +216,7 @@
     1.4      "structure"
     1.5      "type_elims"
     1.6      "type_intros"
     1.7 +    "uses"
     1.8      "where"))
     1.9  
    1.10  (defconst isar-keywords-control
     2.1 --- a/etc/isar-keywords.el	Fri Jun 17 16:18:49 2005 +0200
     2.2 +++ b/etc/isar-keywords.el	Fri Jun 17 17:06:11 2005 +0200
     2.3 @@ -64,8 +64,8 @@
     2.4      "finalconsts"
     2.5      "finally"
     2.6      "fix"
     2.7 +    "fixpat"
     2.8      "fixrec"
     2.9 -    "fixpat"
    2.10      "from"
    2.11      "full_prf"
    2.12      "generate_code"
    2.13 @@ -243,6 +243,7 @@
    2.14      "to"
    2.15      "transitions"
    2.16      "transrel"
    2.17 +    "uses"
    2.18      "where"))
    2.19  
    2.20  (defconst isar-keywords-control
    2.21 @@ -354,8 +355,8 @@
    2.22      "extract"
    2.23      "extract_type"
    2.24      "finalconsts"
    2.25 +    "fixpat"
    2.26      "fixrec"
    2.27 -    "fixpat"
    2.28      "generate_code"
    2.29      "global"
    2.30      "hide"
     3.1 --- a/etc/settings	Fri Jun 17 16:18:49 2005 +0200
     3.2 +++ b/etc/settings	Fri Jun 17 17:06:11 2005 +0200
     3.3 @@ -222,3 +222,6 @@
     3.4  
     3.5  # Jerusat 1.3 (SAT Solver)
     3.6  #JERUSAT_HOME=/usr/local/bin
     3.7 +
     3.8 +# HOL4 proof objects (cf. Isabelle/src/HOL/Import)
     3.9 +HOL4_PROOFS="$PROOF_DIRS:$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"