equal
deleted
inserted
replaced
17 |
17 |
18 instance nat :: order (le_refl,le_trans,le_anti_sym,nat_less_le) |
18 instance nat :: order (le_refl,le_trans,le_anti_sym,nat_less_le) |
19 instance nat :: linorder (nat_le_linear) |
19 instance nat :: linorder (nat_le_linear) |
20 instance nat :: wellorder (wf_less) |
20 instance nat :: wellorder (wf_less) |
21 |
21 |
22 axclass power < term |
22 axclass power < type |
23 |
23 |
24 consts |
24 consts |
25 power :: ['a::power, nat] => 'a (infixr "^" 80) |
25 power :: ['a::power, nat] => 'a (infixr "^" 80) |
26 |
26 |
27 |
27 |