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.
Tuned.
authorberghofe
Tue, 13 Nov 2007 10:53:39 +0100
changeset 25417 ddb060d37ca8
parent 25416 1d8ebaf5f211
child 25418 d4f80cb18c93
Tuned.
src/HOL/Extraction/Higman.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Extraction/Higman.thy	Tue Nov 13 10:50:33 2007 +0100
+++ b/src/HOL/Extraction/Higman.thy	Tue Nov 13 10:53:39 2007 +0100
@@ -7,7 +7,7 @@
 header {* Higman's lemma *}
 
 theory Higman
-imports Main (*"~~/src/HOL/ex/Random"*)
+imports Main
 begin
 
 text {*
isabelle