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 25458 ba8f5e4fa336
parent 25275 76d7f3fd4fb3
child 25496 0a779502be57 
--- a/src/Pure/IsaMakefile	Fri Nov 23 17:37:56 2007 +0100
+++ b/src/Pure/IsaMakefile	Fri Nov 23 21:09:30 2007 +0100
@@ -73,7 +73,7 @@
   morphism.ML name.ML net.ML old_goals.ML pattern.ML primitive_defs.ML		\
   proofterm.ML pure_setup.ML pure_thy.ML search.ML sign.ML simplifier.ML	\
   sorts.ML subgoal.ML tactic.ML tctical.ML term.ML term_subst.ML theory.ML	\
-  thm.ML type.ML type_infer.ML unify.ML variable.ML
+  thm.ML type.ML typedecl.ML type_infer.ML unify.ML variable.ML
 	@./mk
isabelle