Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new theory UNITY/ELT
authorpaulson
Tue, 30 Nov 1999 16:51:41 +0100
changeset 8040 23e2a2457c77
parent 8039 a901bafe4578
child 8041 e3237d8c18d6
new theory UNITY/ELT
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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 \
isabelle