src/HOLCF/IOA/meta_theory/LiveIOA.thy
changeset 36452 d37c6eed8117
parent 35215 a03462cbf86f
     1.1 --- a/src/HOLCF/IOA/meta_theory/LiveIOA.thy	Wed Apr 28 11:41:27 2010 +0200
     1.2 +++ b/src/HOLCF/IOA/meta_theory/LiveIOA.thy	Wed Apr 28 12:07:52 2010 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  imports TLS
     1.5  begin
     1.6  
     1.7 -defaultsort type
     1.8 +default_sort type
     1.9  
    1.10  types
    1.11    ('a, 's) live_ioa = "('a,'s)ioa * ('a,'s)ioa_temp"