equal
deleted
inserted
replaced
246 |
246 |
247 val state_markup = |
247 val state_markup = |
248 split_markup (output_pgmltext (pgml PgipTypes.Display pgmlterms_no_text)) |
248 split_markup (output_pgmltext (pgml PgipTypes.Display pgmlterms_no_text)) |
249 |
249 |
250 val token_markups = |
250 val token_markups = |
251 [Markup.classN, Markup.tfreeN, Markup.tvarN, Markup.freeN, |
251 [Markup.tclassN, Markup.tfreeN, Markup.tvarN, Markup.freeN, |
252 Markup.boundN, Markup.varN, Markup.skolemN]; |
252 Markup.boundN, Markup.varN, Markup.skolemN]; |
253 |
253 |
254 in |
254 in |
255 |
255 |
256 val _ = Markup.add_mode proof_generalN (fn (markup as (name, _)) => |
256 val _ = Markup.add_mode proof_generalN (fn (markup as (name, _)) => |