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.
added defaultsort declaration
authorhuffman
Thu, 26 May 2005 02:24:08 +0200
changeset 16082 ebb53ebfd4e2
parent 16081 81a4b4a245b0
child 16083 fca38c55c8fa
added defaultsort declaration
src/HOLCF/Fix.thy file | annotate | diff | comparison | revisions
src/HOLCF/Sprod.thy file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/Fix.thy	Thu May 26 02:23:27 2005 +0200
+++ b/src/HOLCF/Fix.thy	Thu May 26 02:24:08 2005 +0200
@@ -11,6 +11,8 @@
 imports Cfun Cprod Adm
 begin
 
+defaultsort pcpo
+
 subsection {* Definitions *}
 
 consts
--- a/src/HOLCF/Sprod.thy	Thu May 26 02:23:27 2005 +0200
+++ b/src/HOLCF/Sprod.thy	Thu May 26 02:24:08 2005 +0200
@@ -11,6 +11,8 @@
 imports Cprod TypedefPcpo
 begin
 
+defaultsort pcpo
+
 subsection {* Definition of strict product type *}
 
 typedef (Sprod)  ('a, 'b) "**" (infixr 20) =
isabelle