equal
deleted
inserted
replaced
9 describe the lower and upper bound and x,y : {c,o,i} |
9 describe the lower and upper bound and x,y : {c,o,i} |
10 where c = closed, o = open, i = infinite. |
10 where c = closed, o = open, i = infinite. |
11 Examples: Ico = {_ ..< _} and Ici = {_ ..} |
11 Examples: Ico = {_ ..< _} and Ici = {_ ..} |
12 *) |
12 *) |
13 |
13 |
14 header {* Set intervals *} |
14 section {* Set intervals *} |
15 |
15 |
16 theory Set_Interval |
16 theory Set_Interval |
17 imports Lattices_Big Nat_Transfer |
17 imports Lattices_Big Nat_Transfer |
18 begin |
18 begin |
19 |
19 |