src/CCL/ex/ROOT.ML
changeset 24106 f2965bf954dc
parent 17456 bcf7544875b2
child 35762 af3ff2ba4c54
     1.1 --- a/src/CCL/ex/ROOT.ML	Tue Jul 31 22:21:22 2007 +0200
     1.2 +++ b/src/CCL/ex/ROOT.ML	Tue Jul 31 23:23:28 2007 +0200
     1.3 @@ -6,7 +6,4 @@
     1.4  Examples for Classical Computational Logic.
     1.5  *)
     1.6  
     1.7 -time_use_thy "Nat";
     1.8 -time_use_thy "List";
     1.9 -time_use_thy "Stream";
    1.10 -time_use_thy "Flag";
    1.11 +use_thys ["Nat", "List", "Stream", "Flag"];