changeset 62009 | ecb5212d5885 |
parent 62008 | cbedaddc9351 |
child 62116 | bc178c0fe1a1 |
--- a/src/HOL/HOLCF/IOA/NTP/Sender.thy Thu Dec 31 12:43:09 2015 +0100 +++ b/src/HOL/HOLCF/IOA/NTP/Sender.thy Thu Dec 31 12:55:39 2015 +0100 @@ -5,7 +5,7 @@ section \<open>The implementation: sender\<close> theory Sender -imports "~~/src/HOL/HOLCF/IOA/IOA" Action +imports "../IOA" Action begin type_synonym