equal
deleted
inserted
replaced
24 *) |
24 *) |
25 |
25 |
26 HOL_build_completed; (*Cause examples to fail if HOL did*) |
26 HOL_build_completed; (*Cause examples to fail if HOL did*) |
27 |
27 |
28 writeln"Root file for Substitutions and Unification"; |
28 writeln"Root file for Substitutions and Unification"; |
29 loadpath := ["Subst"]; |
|
30 |
29 |
31 use_thy "Unifier"; |
30 use_thy "Unifier"; |
32 |
31 |
33 make_chart (); (*make HTML chart*) |
|
34 |
|
35 writeln"END: Root file for Substitutions and Unification"; |
32 writeln"END: Root file for Substitutions and Unification"; |