| changeset 62009 | ecb5212d5885 |
| parent 62004 | 8c6226d88ced |
| child 66453 | cc19f7ca2ed6 |
--- a/src/HOL/HOLCF/IOA/ex/TrivEx2.thy Thu Dec 31 12:43:09 2015 +0100 +++ b/src/HOL/HOLCF/IOA/ex/TrivEx2.thy Thu Dec 31 12:55:39 2015 +0100 @@ -5,7 +5,7 @@ section \<open>Trivial Abstraction Example with fairness\<close> theory TrivEx2 -imports IOA Abstraction +imports "../Abstraction" begin datatype action = INC