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