equal
deleted
inserted
replaced
1 (* Title: HOL/HOLCF/Library/Stream.thy |
1 (* Title: HOL/HOLCF/Library/Stream.thy |
2 Author: Franz Regensburger, David von Oheimb, Borislav Gajanovic |
2 Author: Franz Regensburger, David von Oheimb, Borislav Gajanovic |
3 *) |
3 *) |
4 |
4 |
5 section {* General Stream domain *} |
5 section \<open>General Stream domain\<close> |
6 |
6 |
7 theory Stream |
7 theory Stream |
8 imports "../HOLCF" "~~/src/HOL/Library/Extended_Nat" |
8 imports "../HOLCF" "~~/src/HOL/Library/Extended_Nat" |
9 begin |
9 begin |
10 |
10 |