Mercurial Mercurial > hg > isabelle-cookbook / 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.
ProgTutorial/ROOT.ML
changeset 441 520127b708e6
parent 427 94538ddcac9b
child 459 4532577b61e0 
--- a/ProgTutorial/ROOT.ML	Tue Jul 20 13:34:44 2010 +0100
+++ b/ProgTutorial/ROOT.ML	Wed Jul 28 19:09:49 2010 +0200
@@ -6,7 +6,7 @@
 no_document use_thy "Efficient_Nat";
 
 use_thy "Intro";
-use_thy "FirstSteps";
+use_thy "First_Steps";
 use_thy "Essential";
 use_thy "Advanced";
isabelle-cookbook