| changeset 35625 | 9c818cab0dd0 |
| parent 35417 | 47ee18b6ae32 |
| child 35807 | e4d1b5cbd429 |
| 35624:c4e29a0bb8c1 | 35625:9c818cab0dd0 |
|---|---|
42 |
42 |
43 subsubsection {* Core syntax *} |
43 subsubsection {* Core syntax *} |
44 |
44 |
45 classes type |
45 classes type |
46 defaultsort type |
46 defaultsort type |
47 setup {* ObjectLogic.add_base_sort @{sort type} *} |
47 setup {* Object_Logic.add_base_sort @{sort type} *} |
48 |
48 |
49 arities |
49 arities |
50 "fun" :: (type, type) type |
50 "fun" :: (type, type) type |
51 itself :: (type) type |
51 itself :: (type) type |
52 |
52 |