author | haftmann |
Fri, 02 Jul 2010 14:23:17 +0200 | |
changeset 37685 | 19e8b730ddeb |
parent 33615 | 261abc2e3155 |
permissions | -rw-r--r-- |
haftmann@37685 | 1 |
|
haftmann@37685 | 2 |
(* side-entry for HOL-Main *) |
haftmann@37685 | 3 |
|
wenzelm@33615 | 4 |
use_thys ["Main"]; |