# HG changeset patch
# User wenzelm
# Date 878205004 -3600
# Node ID 5d278411e127c42f1eb25a6f6d25902344e931d7
# Parent  dae5afe7733fce4513967ed4d12185b2f26765ce
added adm.ML;

diff -r dae5afe7733f -r 5d278411e127 src/HOLCF/IsaMakefile
--- 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 \