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.
doc-src/TutorialI/IsaMakefile
changeset 48524 5af593945522
parent 48519 5deda0549f97 
--- a/doc-src/TutorialI/IsaMakefile	Thu Jul 26 19:07:28 2012 +0200
+++ b/doc-src/TutorialI/IsaMakefile	Thu Jul 26 19:08:14 2012 +0200
@@ -41,7 +41,7 @@
   Inductive/Advanced.thy Types/Numbers.thy Types/Pairs.thy		\
   Types/Records.thy Types/Typedefs.thy Types/Overloading.thy		\
   Types/Axioms.thy Misc/Tree.thy Misc/Tree2.thy Misc/Plus.thy		\
-  Misc/fakenat.thy Misc/natsum.thy Misc/pairs.thy Misc/Option2.thy	\
+  Misc/fakenat.thy Misc/natsum.thy Misc/pairs2.thy Misc/Option2.thy	\
   Misc/types.thy Misc/prime_def.thy Misc/case_exprs.thy Misc/simp.thy	\
   Misc/Itrev.thy Misc/AdvancedInd.thy Misc/appendix.thy			\
   Protocol/Message.thy Protocol/Event.thy Protocol/Public.thy		\
isabelle