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/Package/Ind_Code.thy
changeset 217 75154f4d4e2f
parent 215 8d1a344a621e
child 218 7ff7325e3b4e 
--- a/ProgTutorial/Package/Ind_Code.thy	Tue Mar 31 15:53:12 2009 +0100
+++ b/ProgTutorial/Package/Ind_Code.thy	Tue Mar 31 16:50:13 2009 +0100
@@ -1065,7 +1065,7 @@
                  OuterKeyword.thy_decl specification*}
 
 
-section {* Extensions *}
+section {* Extensions (TBD) *}
 
 text {*
   Things to include at the end:
isabelle-cookbook