equal
deleted
inserted
replaced
334 |
334 |
335 (defconst isar-keywords-theory-begin |
335 (defconst isar-keywords-theory-begin |
336 '("theory")) |
336 '("theory")) |
337 |
337 |
338 (defconst isar-keywords-theory-switch |
338 (defconst isar-keywords-theory-switch |
339 '("context")) |
339 '()) |
340 |
340 |
341 (defconst isar-keywords-theory-end |
341 (defconst isar-keywords-theory-end |
342 '("end")) |
342 '("end")) |
343 |
343 |
344 (defconst isar-keywords-theory-heading |
344 (defconst isar-keywords-theory-heading |
371 "code_type" |
371 "code_type" |
372 "coinductive" |
372 "coinductive" |
373 "constdefs" |
373 "constdefs" |
374 "consts" |
374 "consts" |
375 "consts_code" |
375 "consts_code" |
|
376 "context" |
376 "datatype" |
377 "datatype" |
377 "defaultsort" |
378 "defaultsort" |
378 "definition" |
379 "definition" |
379 "defs" |
380 "defs" |
380 "extract" |
381 "extract" |