# HG changeset patch
# User paulson
# Date 943977101 -3600
# Node ID 23e2a2457c779340f7c59675d084d433fa30b7a5
# Parent  a901bafe4578c24385aad066b93e16c946b480e1
new theory UNITY/ELT

diff -r a901bafe4578 -r 23e2a2457c77 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Nov 29 15:52:49 1999 +0100
+++ b/src/HOL/IsaMakefile	Tue Nov 30 16:51:41 1999 +0100
@@ -232,6 +232,7 @@
   UNITY/Union.ML UNITY/Union.thy UNITY/Handshake.ML UNITY/Handshake.thy\
   UNITY/TimerArray.ML UNITY/TimerArray.thy\
   UNITY/Extend.ML UNITY/Extend.thy UNITY/Project.ML UNITY/Project.thy\
+  UNITY/ELT.ML UNITY/ELT.thy\
   UNITY/Follows.ML UNITY/Follows.thy\
   UNITY/GenPrefix.thy UNITY/GenPrefix.ML \
   UNITY/LessThan.ML UNITY/LessThan.thy \