added structure Main (from Main.ML);
authorwenzelm
Wed Nov 08 13:48:35 2006 +0100 (2006-11-08)
changeset 21246e0e555b67fe5
parent 21245 23e6eb4d0975
child 21247 f91699b807c3
added structure Main (from Main.ML);
src/HOL/ROOT.ML
     1.1 --- a/src/HOL/ROOT.ML	Wed Nov 08 13:48:34 2006 +0100
     1.2 +++ b/src/HOL/ROOT.ML	Wed Nov 08 13:48:35 2006 +0100
     1.3 @@ -37,6 +37,11 @@
     1.4  
     1.5  with_path "Integ" use_thy "Main";
     1.6  
     1.7 +structure Main =
     1.8 +struct
     1.9 +  val thy = theory "Main"
    1.10 +end;
    1.11 +
    1.12  path_add "~~/src/HOL/Library";
    1.13  
    1.14  Goal "True";  (*leave subgoal package empty*)