src/HOL/UNITY/ROOT.ML
changeset 6536 281d44905cab
parent 6349 f7750d816c21
child 6730 fa1f63249077
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Wed Apr 28 13:36:31 1999 +0200
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Thu Apr 29 10:51:58 1999 +0200
     1.3 @@ -13,7 +13,6 @@
     1.4  add_path "../Lex";	(*to find Prefix.thy*)
     1.5  
     1.6  time_use_thy"UNITY";
     1.7 -
     1.8  time_use_thy "Deadlock";
     1.9  time_use_thy "WFair";
    1.10  time_use_thy "Common";