Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/IsaMakefile
changeset 4122 f63c283cefaf
parent 4038 5d278411e127
child 4129 2fd816aa6206 
--- a/src/HOLCF/IsaMakefile	Tue Nov 04 14:37:51 1997 +0100
+++ b/src/HOLCF/IsaMakefile	Tue Nov 04 14:40:29 1997 +0100
@@ -22,8 +22,7 @@
 ONLYTHYS = 
 
 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 \
+	HOLCFLogic.ML contconsts.ML \
         domain/library.ML  domain/syntax.ML   domain/axioms.ML \
         domain/theorems.ML domain/extender.ML domain/interface.ML
isabelle