| changeset 65366 | 10ca63a18e56 |
| parent 64320 | ba194424b895 |
| child 67091 | 1393c2340eec |
--- a/src/HOL/Library/Stream.thy Mon Apr 03 23:31:31 2017 +0200 +++ b/src/HOL/Library/Stream.thy Tue Apr 04 11:52:28 2017 +0200 @@ -9,7 +9,7 @@ section \<open>Infinite Streams\<close> theory Stream -imports "~~/src/HOL/Library/Nat_Bijection" + imports Nat_Bijection begin codatatype (sset: 'a) stream =