src/HOL/UNITY/ROOT.ML
changeset 13853 89131afa9f01
parent 13821 0fd39aa77095
child 14203 97df98601d23
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Mon Mar 10 12:53:27 2003 +0100
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Mon Mar 10 16:21:06 2003 +0100
     1.3 @@ -9,9 +9,6 @@
     1.4  (*Basic meta-theory*)
     1.5  time_use_thy "UNITY_Main";
     1.6  
     1.7 -(*New Meier/Sanders composition theory*)
     1.8 -time_use_thy "Transformers";
     1.9 -
    1.10  (*Simple examples: no composition*)
    1.11  time_use_thy "Simple/Deadlock";
    1.12  time_use_thy "Simple/Common";