| changeset 16417 | 9bc16273c2d4 |
| parent 13020 | 791e3b4c4039 |
| child 23746 | a455e69c31cc |
--- a/src/HOL/HoareParallel/OG_Tran.thy Fri Jun 17 11:35:35 2005 +0200 +++ b/src/HOL/HoareParallel/OG_Tran.thy Fri Jun 17 16:12:49 2005 +0200 @@ -1,7 +1,7 @@ header {* \section{Operational Semantics} *} -theory OG_Tran = OG_Com: +theory OG_Tran imports OG_Com begin types 'a ann_com_op = "('a ann_com) option"