changeset 53026 | e1a548c11845 |
parent 53013 | 3fbcfa911863 |
child 53103 | c0217c4a6b2d |
--- a/src/HOL/BNF/Examples/Process.thy Wed Aug 14 00:15:03 2013 +0200 +++ b/src/HOL/BNF/Examples/Process.thy Tue Aug 13 18:22:55 2013 +0200 @@ -11,8 +11,6 @@ imports "../BNF" begin -hide_fact (open) Lifting_Product.prod_rel_def - codatatype 'a process = isAction: Action (prefOf: 'a) (contOf: "'a process") | isChoice: Choice (ch1Of: "'a process") (ch2Of: "'a process")