src/HOL/UNITY/ROOT.ML
changeset 5357 6efb2b87610c
parent 5253 82a5ca6290aa
child 5430 4a179dba527a
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Thu Aug 20 16:58:28 1998 +0200
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Thu Aug 20 17:43:01 1998 +0200
     1.3 @@ -20,3 +20,4 @@
     1.4  time_use_thy "FP";
     1.5  time_use_thy "Reach";
     1.6  time_use_thy "Handshake";
     1.7 +time_use_thy "Lift";