new theory UNITY/ELT
authorpaulson
Tue Nov 30 16:51:41 1999 +0100 (1999-11-30)
changeset 804023e2a2457c77
parent 8039 a901bafe4578
child 8041 e3237d8c18d6
new theory UNITY/ELT
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Mon Nov 29 15:52:49 1999 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Nov 30 16:51:41 1999 +0100
     1.3 @@ -232,6 +232,7 @@
     1.4    UNITY/Union.ML UNITY/Union.thy UNITY/Handshake.ML UNITY/Handshake.thy\
     1.5    UNITY/TimerArray.ML UNITY/TimerArray.thy\
     1.6    UNITY/Extend.ML UNITY/Extend.thy UNITY/Project.ML UNITY/Project.thy\
     1.7 +  UNITY/ELT.ML UNITY/ELT.thy\
     1.8    UNITY/Follows.ML UNITY/Follows.thy\
     1.9    UNITY/GenPrefix.thy UNITY/GenPrefix.ML \
    1.10    UNITY/LessThan.ML UNITY/LessThan.thy \