simultaneous use_thys;
authorwenzelm
Mon Feb 11 21:32:11 2008 +0100 (2008-02-11)
changeset 26058279016aebc41
parent 26057 f5d5c4922cdf
child 26059 b67a225b50fd
simultaneous use_thys;
src/ZF/ROOT.ML
     1.1 --- a/src/ZF/ROOT.ML	Mon Feb 11 21:32:10 2008 +0100
     1.2 +++ b/src/ZF/ROOT.ML	Mon Feb 11 21:32:11 2008 +0100
     1.3 @@ -8,6 +8,5 @@
     1.4  Paulson.
     1.5  *)
     1.6  
     1.7 -use_thy "Main";
     1.8 -use_thy "Main_ZFC";
     1.9 +use_thys ["Main", "Main_ZFC"];
    1.10