Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
imports Binimial;
authorwenzelm
Thu, 09 Nov 2006 11:58:47 +0100
changeset 21262 a2bd14226f9a
parent 21261 58223c67fd8b
child 21263 de65ce2bfb32
imports Binimial;
doc-src/TutorialI/Sets/Examples.thy file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/Sets/Examples.thy	Thu Nov 09 11:58:45 2006 +0100
+++ b/doc-src/TutorialI/Sets/Examples.thy	Thu Nov 09 11:58:47 2006 +0100
@@ -1,5 +1,5 @@
 (* ID:         $Id$ *)
-theory Examples imports Main begin
+theory Examples imports Main Binomial begin
 
 ML "reset eta_contract"
 ML "Pretty.setmargin 64"
isabelle