# HG changeset patch
# User huffman
# Date 1120185153 -7200
# Node ID 58b4a689ae85df9f66db13741c57762aa2e8a9d7
# Parent  83bf468b1dc797ee49e6187e7b5646258216606d
defaultsort pcpo

diff -r 83bf468b1dc7 -r 58b4a689ae85 src/HOLCF/Tr.thy
--- a/src/HOLCF/Tr.thy	Fri Jul 01 04:09:27 2005 +0200
+++ b/src/HOLCF/Tr.thy	Fri Jul 01 04:32:33 2005 +0200
@@ -11,6 +11,8 @@
 imports Lift
 begin
 
+defaultsort pcpo
+
 types
   tr = "bool lift"