equal
deleted
inserted
replaced
333 "find_theorems" |
333 "find_theorems" |
334 "full_prf" |
334 "full_prf" |
335 "header" |
335 "header" |
336 "help" |
336 "help" |
337 "kill_thy" |
337 "kill_thy" |
|
338 "nitpick" |
338 "normal_form" |
339 "normal_form" |
339 "pr" |
340 "pr" |
340 "pretty_setmargin" |
341 "pretty_setmargin" |
341 "prf" |
342 "prf" |
342 "print_abbrevs" |
343 "print_abbrevs" |
579 (defconst isar-keywords-proof-script |
580 (defconst isar-keywords-proof-script |
580 '("apply" |
581 '("apply" |
581 "apply_end" |
582 "apply_end" |
582 "back" |
583 "back" |
583 "defer" |
584 "defer" |
584 "nitpick" |
|
585 "prefer")) |
585 "prefer")) |
586 |
586 |
587 (provide 'isar-keywords) |
587 (provide 'isar-keywords) |