src/HOL/UNITY/ROOT.ML

--- a/src/HOL/UNITY/ROOT.ML	Thu Aug 20 16:58:28 1998 +0200
+++ b/src/HOL/UNITY/ROOT.ML	Thu Aug 20 17:43:01 1998 +0200
@@ -20,3 +20,4 @@
 time_use_thy "FP";
 time_use_thy "Reach";
 time_use_thy "Handshake";
+time_use_thy "Lift";