equal
deleted
inserted
replaced
6 |
6 |
7 theory Sequence |
7 theory Sequence |
8 imports Seq |
8 imports Seq |
9 begin |
9 begin |
10 |
10 |
11 defaultsort type |
11 default_sort type |
12 |
12 |
13 types 'a Seq = "'a::type lift seq" |
13 types 'a Seq = "'a::type lift seq" |
14 |
14 |
15 consts |
15 consts |
16 |
16 |