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.
PreList = Main - List
authorhaftmann
Mon, 13 Nov 2006 15:43:07 +0100
changeset 21330 6dd5919e7742
parent 21329 7338206d75f1
child 21331 1fd8ba48ae97
PreList = Main - List
src/HOL/PreList.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/PreList.thy	Mon Nov 13 15:43:06 2006 +0100
+++ b/src/HOL/PreList.thy	Mon Nov 13 15:43:07 2006 +0100
@@ -7,7 +7,8 @@
 header {* A Basis for Building the Theory of Lists *}
 
 theory PreList
-imports Wellfounded_Relations Presburger Relation_Power
+imports Wellfounded_Relations Presburger Relation_Power SAT
+  Hilbert_Choice FunDef Extraction
 begin
 
 text {*
isabelle