equal
deleted
inserted
replaced
10 |
10 |
11 cd "$ISABELLE_HOME/etc" |
11 cd "$ISABELLE_HOME/etc" |
12 |
12 |
13 isabelle keywords \ |
13 isabelle keywords \ |
14 "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" \ |
14 "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" \ |
15 "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" |
15 "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" "$LOG/HOL-SPARK.gz" |
16 |
16 |
17 isabelle keywords -k ZF \ |
17 isabelle keywords -k ZF \ |
18 "$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
18 "$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
19 |
19 |