src/HOLCF/IOA/meta_theory/LiveIOA.thy
changeset 4816 64f075872f69
parent 4577 674b0b354feb
child 10835 f4745d77e620
     1.1 --- a/src/HOLCF/IOA/meta_theory/LiveIOA.thy	Tue Apr 21 17:21:42 1998 +0200
     1.2 +++ b/src/HOLCF/IOA/meta_theory/LiveIOA.thy	Tue Apr 21 17:22:03 1998 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  *) 
     1.6    
     1.7 -LiveIOA = IOA + TLS + 
     1.8 +LiveIOA = TLS + 
     1.9  
    1.10  default term
    1.11