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/Pure/IsaMakefile
changeset 5004 cf4e3b487caf
parent 4991 d7d525466221
child 5017 786a17461ab9 
--- a/src/Pure/IsaMakefile	Mon Jun 08 15:57:30 1998 +0200
+++ b/src/Pure/IsaMakefile	Mon Jun 08 15:57:50 1998 +0200
@@ -36,7 +36,7 @@
   drule.ML envir.ML goals.ML install_pp.ML library.ML logic.ML \
   name_space.ML net.ML object.ML pattern.ML pure_thy.ML search.ML \
   seq.ML sign.ML sorts.ML table.ML tactic.ML tctical.ML term.ML \
-  theory.ML thm.ML type.ML type_infer.ML unify.ML
+  theory.ML theory_data.ML thm.ML type.ML type_infer.ML unify.ML
 	@./mk
isabelle