equal
deleted
inserted
replaced
6 Sequences over flat domains with lifted elements. |
6 Sequences over flat domains with lifted elements. |
7 *) |
7 *) |
8 |
8 |
9 Sequence = Seq + |
9 Sequence = Seq + |
10 |
10 |
11 default term |
11 default type |
12 |
12 |
13 types 'a Seq = ('a::term lift)seq |
13 types 'a Seq = ('a::type lift)seq |
14 |
14 |
15 consts |
15 consts |
16 |
16 |
17 Consq ::"'a => 'a Seq -> 'a Seq" |
17 Consq ::"'a => 'a Seq -> 'a Seq" |
18 Filter ::"('a => bool) => 'a Seq -> 'a Seq" |
18 Filter ::"('a => bool) => 'a Seq -> 'a Seq" |
87 |
87 |
88 |
88 |
89 (* for test purposes should be deleted FIX !! *) |
89 (* for test purposes should be deleted FIX !! *) |
90 adm_all "adm f" |
90 adm_all "adm f" |
91 |
91 |
92 |
|
93 end |
92 end |