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 16108 cf468b93a02e
parent 16032 bbc85a9748fc
child 16159 99c3168438ea 
--- a/src/Pure/IsaMakefile	Sun May 29 05:23:28 2005 +0200
+++ b/src/Pure/IsaMakefile	Sun May 29 12:39:12 2005 +0200
@@ -58,7 +58,7 @@
   goals.ML install_pp.ML library.ML logic.ML meta_simplifier.ML net.ML	\
   pattern.ML proof_general.ML proofterm.ML pure_thy.ML search.ML	\
   sign.ML simplifier.ML sorts.ML tactic.ML tctical.ML term.ML		\
-  theory.ML theory_data.ML thm.ML type.ML type_infer.ML unify.ML
+  defs.ML theory.ML theory_data.ML thm.ML type.ML type_infer.ML unify.ML
 	@./mk
isabelle