equal
deleted
inserted
replaced
283 "enable_pr" |
283 "enable_pr" |
284 "find_theorems" |
284 "find_theorems" |
285 "full_prf" |
285 "full_prf" |
286 "header" |
286 "header" |
287 "kill_thy" |
287 "kill_thy" |
|
288 "normal_form" |
288 "pr" |
289 "pr" |
289 "pretty_setmargin" |
290 "pretty_setmargin" |
290 "prf" |
291 "prf" |
291 "print_antiquotations" |
292 "print_antiquotations" |
292 "print_attributes" |
293 "print_attributes" |
387 "locale" |
388 "locale" |
388 "method_setup" |
389 "method_setup" |
389 "no_syntax" |
390 "no_syntax" |
390 "no_translations" |
391 "no_translations" |
391 "nonterminals" |
392 "nonterminals" |
392 "normal_form" |
|
393 "oracle" |
393 "oracle" |
394 "parse_ast_translation" |
394 "parse_ast_translation" |
395 "parse_translation" |
395 "parse_translation" |
396 "primrec" |
396 "primrec" |
397 "print_ast_translation" |
397 "print_ast_translation" |