# HG changeset patch
# User wenzelm
# Date 1004747919 -3600
# Node ID 1281e9bf57f689bf2373e00d7e05854061ff76b6
# Parent  0b1d80ada4ab012b7bb7ffc6f99efecf87fea90f
converted theory Lift;

diff -r 0b1d80ada4ab -r 1281e9bf57f6 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Sat Nov 03 01:38:11 2001 +0100
+++ b/src/HOLCF/IsaMakefile	Sat Nov 03 01:38:39 2001 +0100
@@ -32,8 +32,7 @@
   Cprod2.thy Cprod3.ML Cprod3.thy Discrete.ML Discrete.thy Discrete0.ML \
   Discrete0.thy Discrete1.ML Discrete1.thy Fix.ML Fix.thy Fun1.ML \
   Fun1.thy Fun2.ML Fun2.thy Fun3.ML Fun3.thy HOLCF.ML HOLCF.thy Lift.ML \
-  Lift.thy Lift1.ML Lift1.thy Lift2.ML Lift2.thy Lift3.ML Lift3.thy \
-  One.ML One.thy Pcpo.ML Pcpo.thy Porder.ML Porder.thy Porder0.ML \
+  Lift.thy One.ML One.thy Pcpo.ML Pcpo.thy Porder.ML Porder.thy Porder0.ML \
   Porder0.thy ROOT.ML Sprod0.ML Sprod0.thy Sprod1.ML Sprod1.thy \
   Sprod2.ML Sprod2.thy Sprod3.ML Sprod3.thy Ssum0.ML Ssum0.thy Ssum1.ML \
   Ssum1.thy Ssum2.ML Ssum2.thy Ssum3.ML Ssum3.thy Tr.ML Tr.thy Up1.ML \