equal
deleted
inserted
replaced
319 "enable_pr" |
319 "enable_pr" |
320 "find_theorems" |
320 "find_theorems" |
321 "full_prf" |
321 "full_prf" |
322 "header" |
322 "header" |
323 "kill_thy" |
323 "kill_thy" |
|
324 "normal_form" |
324 "pr" |
325 "pr" |
325 "pretty_setmargin" |
326 "pretty_setmargin" |
326 "prf" |
327 "prf" |
327 "print_antiquotations" |
328 "print_antiquotations" |
328 "print_attributes" |
329 "print_attributes" |
428 "locale" |
429 "locale" |
429 "method_setup" |
430 "method_setup" |
430 "no_syntax" |
431 "no_syntax" |
431 "no_translations" |
432 "no_translations" |
432 "nonterminals" |
433 "nonterminals" |
433 "normal_form" |
|
434 "oracle" |
434 "oracle" |
435 "parse_ast_translation" |
435 "parse_ast_translation" |
436 "parse_translation" |
436 "parse_translation" |
437 "primrec" |
437 "primrec" |
438 "print_ast_translation" |
438 "print_ast_translation" |