# HG changeset patch
# User paulson
# Date 959186798 -7200
# Node ID ba75f564726b9b18e0ee33680e10195d63945258
# Parent  26b6e8f433053c6a8b201c36bf731253ef527943
Adding SetInterval, deleting UNITY/LessThan

diff -r 26b6e8f43305 -r ba75f564726b src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed May 24 18:46:06 2000 +0200
+++ b/src/HOL/IsaMakefile	Wed May 24 18:46:38 2000 +0200
@@ -56,7 +56,8 @@
   Map.thy Nat.ML Nat.thy NatDef.ML NatDef.thy Numeral.thy Option.ML \
   Option.thy Ord.ML Ord.thy Power.ML Power.thy PreList.thy Prod.ML \
   Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML RelPow.thy \
-  Relation.ML Relation.thy Set.ML Set.thy String.thy SVC_Oracle.ML \
+  Relation.ML Relation.thy Set.ML Set.thy SetInterval.ML SetInterval.thy \
+  String.thy SVC_Oracle.ML \
   SVC_Oracle.thy Sum.ML Sum.thy Tools/datatype_aux.ML \
   Tools/datatype_abs_proofs.ML Tools/datatype_package.ML \
   Tools/datatype_prop.ML Tools/datatype_rep_proofs.ML \
@@ -251,7 +252,6 @@
   UNITY/ELT.ML UNITY/ELT.thy\
   UNITY/Follows.ML UNITY/Follows.thy\
   UNITY/GenPrefix.thy UNITY/GenPrefix.ML \
-  UNITY/LessThan.ML UNITY/LessThan.thy \
   UNITY/Lift_prog.ML UNITY/Lift_prog.thy UNITY/ListOrder.thy\
   UNITY/Mutex.ML UNITY/Mutex.thy\
   UNITY/Network.ML UNITY/Network.thy UNITY/Reach.ML UNITY/Reach.thy\