equal
deleted
inserted
replaced
24 val blockN: string val block: int -> Markup.T |
24 val blockN: string val block: int -> Markup.T |
25 val widthN: string |
25 val widthN: string |
26 val breakN: string val break: int -> Markup.T |
26 val breakN: string val break: int -> Markup.T |
27 val fbreakN: string val fbreak: Markup.T |
27 val fbreakN: string val fbreak: Markup.T |
28 val hiddenN: string val hidden: Markup.T |
28 val hiddenN: string val hidden: Markup.T |
|
29 val theoryN: string |
29 val classN: string |
30 val classN: string |
30 val type_nameN: string |
31 val type_nameN: string |
31 val constantN: string |
32 val constantN: string |
32 val fixedN: string val fixed: string -> Markup.T |
33 val fixedN: string val fixed: string -> Markup.T |
33 val dynamic_factN: string val dynamic_fact: string -> Markup.T |
34 val dynamic_factN: string val dynamic_fact: string -> Markup.T |
163 val (hiddenN, hidden) = markup_elem "hidden"; |
164 val (hiddenN, hidden) = markup_elem "hidden"; |
164 |
165 |
165 |
166 |
166 (* logical entities *) |
167 (* logical entities *) |
167 |
168 |
|
169 val theoryN = "theory"; |
168 val classN = "class"; |
170 val classN = "class"; |
169 val type_nameN = "type name"; |
171 val type_nameN = "type name"; |
170 val constantN = "constant"; |
172 val constantN = "constant"; |
171 |
173 |
172 val (fixedN, fixed) = markup_string "fixed" Markup.nameN; |
174 val (fixedN, fixed) = markup_string "fixed" Markup.nameN; |