src/HOL/main.ML
author Christian Sternagel
Thu Aug 30 15:44:03 2012 +0900 (2012-08-30)
changeset 49093 fdc301f592c4
parent 37694 19e8b730ddeb
permissions -rw-r--r--
forgot to add lemmas
haftmann@37694
     1
haftmann@37694
     2
(* side-entry for HOL-Main *)
haftmann@37694
     3
wenzelm@33615
     4
use_thys ["Main"];