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" "$LOG/HOL-SPARK.gz" |
15 "$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" \ |
|
16 "$LOG/HOL-SPARK.gz" |
16 |
17 |
17 isabelle keywords -k ZF \ |
18 isabelle keywords -k ZF \ |
18 "$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
19 "$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
19 |
20 |