author | nipkow |
Sun, 19 Nov 1995 14:17:31 +0100 | |
changeset 1347 | 89550840ef93 |
parent 1296 | ae31bb7774a7 |
child 1351 | 4a960c012383 |
permissions | -rw-r--r-- |
1269 | 1 |
(* Title: HOL/Lambda/ROOT.ML |
1126 | 2 |
ID: $Id$ |
3 |
Author: Tobias Nipkow |
|
4 |
Copyright 1995 TUM |
|
5 |
*) |
|
6 |
||
1165 | 7 |
HOL_build_completed; (*Make examples fail if HOL did*) |
1126 | 8 |
|
1165 | 9 |
writeln"Root file for HOL/Lambda"; |
1126 | 10 |
loadpath := [".","Lambda"]; |
1296 | 11 |
|
1269 | 12 |
time_use_thy "Eta"; |
1296 | 13 |
|
14 |
make_chart (); (*make HTML chart*) |