diff -r cbedaddc9351 -r ecb5212d5885 src/HOL/HOLCF/IOA/ex/TrivEx.thy --- a/src/HOL/HOLCF/IOA/ex/TrivEx.thy Thu Dec 31 12:43:09 2015 +0100 +++ b/src/HOL/HOLCF/IOA/ex/TrivEx.thy Thu Dec 31 12:55:39 2015 +0100 @@ -5,7 +5,7 @@ section \Trivial Abstraction Example\ theory TrivEx -imports Abstraction +imports "../Abstraction" begin datatype action = INC