| changeset 14854 | 61bdf2ae4dc5 |
| parent 6252 | 935f183bf406 |
| child 17481 | 75166ebb619b |
| 14853:8d710bece29f | 14854:61bdf2ae4dc5 |
|---|---|
5 *) |
5 *) |
6 |
6 |
7 ILL_predlog = ILL + |
7 ILL_predlog = ILL + |
8 |
8 |
9 types |
9 types |
10 |
|
11 plf |
10 plf |
12 |
|
13 arities |
|
14 |
|
15 plf :: logic |
|
16 |
11 |
17 consts |
12 consts |
18 |
13 |
19 "&" :: "[plf,plf] => plf" (infixr 35) |
14 "&" :: "[plf,plf] => plf" (infixr 35) |
20 "|" :: "[plf,plf] => plf" (infixr 35) |
15 "|" :: "[plf,plf] => plf" (infixr 35) |