changeset 66453 | cc19f7ca2ed6 |
parent 62009 | ecb5212d5885 |
child 67613 | ce654b0e6d69 |
--- a/src/HOL/HOLCF/IOA/NTP/Abschannel.thy Fri Aug 18 13:55:05 2017 +0200 +++ b/src/HOL/HOLCF/IOA/NTP/Abschannel.thy Fri Aug 18 20:47:47 2017 +0200 @@ -5,7 +5,7 @@ section \<open>The (faulty) transmission channel (both directions)\<close> theory Abschannel -imports "../IOA" Action +imports IOA.IOA Action begin datatype 'a abs_action = S 'a | R 'a