changeset 3059 | 3d7a61301137 |
parent 2910 | 905aa895136c |
3058:9d6526cacc3c | 3059:3d7a61301137 |
---|---|
7 *) |
7 *) |
8 |
8 |
9 FRACT = NPAIR + HQUOT + |
9 FRACT = NPAIR + HQUOT + |
10 instance |
10 instance |
11 NP::per |
11 NP::per |
12 {| (etac per_sym_NP 1) THEN (etac per_trans_NP 1) THEN (atac 1) |} |
12 {| (etac per_trans_NP 1) THEN (atac 1) THEN (etac per_sym_NP 1) |} |
13 |
13 |
14 (* now define fractions *) |
14 (* now define fractions *) |
15 |
15 |
16 types fract = NP quot |
16 types fract = NP quot |
17 |
17 |