Main is the proper parent of IOA
authorpaulson
Wed Aug 08 14:51:30 2001 +0200 (2001-08-08)
changeset 11482ec2c382ff4f0
parent 11481 c77e5401f2ff
child 11483 f4d10044a2cd
Main is the proper parent of IOA
src/HOL/IOA/Asig.thy
src/HOL/IOA/IOA.thy
     1.1 --- a/src/HOL/IOA/Asig.thy	Wed Aug 08 14:51:10 2001 +0200
     1.2 +++ b/src/HOL/IOA/Asig.thy	Wed Aug 08 14:51:30 2001 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  Action signatures
     1.5  *)
     1.6  
     1.7 -Asig = Product_Type +
     1.8 +Asig = Main +
     1.9  
    1.10  types 
    1.11  
     2.1 --- a/src/HOL/IOA/IOA.thy	Wed Aug 08 14:51:10 2001 +0200
     2.2 +++ b/src/HOL/IOA/IOA.thy	Wed Aug 08 14:51:30 2001 +0200
     2.3 @@ -6,7 +6,7 @@
     2.4  The I/O automata of Lynch and Tuttle.
     2.5  *)
     2.6  
     2.7 -IOA = Asig + Option +
     2.8 +IOA = Asig + 
     2.9  
    2.10  types
    2.11     'a seq            =   "nat => 'a"