| author | Walther Neuper <neuper@ist.tugraz.at> |
| Mon, 13 Sep 2010 15:42:03 +0200 | |
| branch | isac-update-Isa09-2 |
| changeset 38004 | 59caaeeb9afc |
| child 38010 | a37a3ab989f4 |
| permissions | -rw-r--r-- |
| neuper@38004 | 1 |
(* |
| neuper@38004 | 2 |
$ cd /usr/local/Isabelle2009-1/src/Tools/isac |
| neuper@38004 | 3 |
$ /usr/local/isabisac/bin/isabelle usedir -b HOL Isac |
| neuper@38004 | 4 |
|
| neuper@38004 | 5 |
*) |
| neuper@38004 | 6 |
|
| neuper@38004 | 7 |
use_thys ["Build_Isac"]; |