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.
Main is the proper parent of IOA
authorpaulson
Wed, 08 Aug 2001 14:51:30 +0200
changeset 11482 ec2c382ff4f0
parent 11481 c77e5401f2ff
child 11483 f4d10044a2cd
Main is the proper parent of IOA
src/HOL/IOA/Asig.thy file | annotate | diff | comparison | revisions
src/HOL/IOA/IOA.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/IOA/Asig.thy	Wed Aug 08 14:51:10 2001 +0200
+++ b/src/HOL/IOA/Asig.thy	Wed Aug 08 14:51:30 2001 +0200
@@ -6,7 +6,7 @@
 Action signatures
 *)
 
-Asig = Product_Type +
+Asig = Main +
 
 types 
 
--- a/src/HOL/IOA/IOA.thy	Wed Aug 08 14:51:10 2001 +0200
+++ b/src/HOL/IOA/IOA.thy	Wed Aug 08 14:51:30 2001 +0200
@@ -6,7 +6,7 @@
 The I/O automata of Lynch and Tuttle.
 *)
 
-IOA = Asig + Option +
+IOA = Asig + 
 
 types
    'a seq            =   "nat => 'a"
isabelle