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.
added adm.ML;
authorwenzelm
Thu, 30 Oct 1997 10:50:04 +0100
changeset 4038 5d278411e127
parent 4037 dae5afe7733f
child 4039 0db9f1098fd6
added adm.ML;
src/HOLCF/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/IsaMakefile	Thu Oct 30 10:01:46 1997 +0100
+++ b/src/HOLCF/IsaMakefile	Thu Oct 30 10:50:04 1997 +0100
@@ -21,7 +21,7 @@
 
 ONLYTHYS = 
 
-FILES = ROOT.ML $(THYS) $(ONLYTHYS) $(THYS:.thy=.ML) \
+FILES = ROOT.ML $(THYS) $(ONLYTHYS) $(THYS:.thy=.ML) adm.ML \
         ax_ops/holcflogic.ML ax_ops/thy_axioms.ML \
         ax_ops/thy_ops.ML    ax_ops/thy_syntax.ML \
         domain/library.ML  domain/syntax.ML   domain/axioms.ML \
isabelle