| changeset 14854 | 61bdf2ae4dc5 |
| parent 14749 | 9ccfd0f59e11 |
| child 14981 | e73f8140af78 |
| 14853:8d710bece29f | 14854:61bdf2ae4dc5 |
|---|---|
12 |
12 |
13 subsection {* Primitive logic *} |
13 subsection {* Primitive logic *} |
14 |
14 |
15 subsubsection {* Core syntax *} |
15 subsubsection {* Core syntax *} |
16 |
16 |
17 classes type < logic |
17 classes type |
18 defaultsort type |
18 defaultsort type |
19 |
19 |
20 global |
20 global |
21 |
21 |
22 typedecl bool |
22 typedecl bool |