equal
deleted
inserted
replaced
204 "print_quotientsQ3" |
204 "print_quotientsQ3" |
205 "print_quotmaps" |
205 "print_quotmaps" |
206 "print_quotmapsQ3" |
206 "print_quotmapsQ3" |
207 "print_rules" |
207 "print_rules" |
208 "print_simpset" |
208 "print_simpset" |
|
209 "print_state" |
209 "print_statement" |
210 "print_statement" |
210 "print_syntax" |
211 "print_syntax" |
211 "print_theorems" |
212 "print_theorems" |
212 "print_theory" |
213 "print_theory" |
213 "print_trans_rules" |
214 "print_trans_rules" |
372 "exit" |
373 "exit" |
373 "init_toplevel" |
374 "init_toplevel" |
374 "kill" |
375 "kill" |
375 "kill_thy" |
376 "kill_thy" |
376 "linear_undo" |
377 "linear_undo" |
|
378 "pr" |
377 "pretty_setmargin" |
379 "pretty_setmargin" |
378 "quit" |
380 "quit" |
379 "remove_thy" |
381 "remove_thy" |
380 "undo" |
382 "undo" |
381 "undos_proof" |
383 "undos_proof" |
396 "full_prf" |
398 "full_prf" |
397 "header" |
399 "header" |
398 "help" |
400 "help" |
399 "locale_deps" |
401 "locale_deps" |
400 "nitpick" |
402 "nitpick" |
401 "pr" |
|
402 "prf" |
403 "prf" |
403 "print_abbrevs" |
404 "print_abbrevs" |
404 "print_antiquotations" |
405 "print_antiquotations" |
405 "print_attributes" |
406 "print_attributes" |
406 "print_binds" |
407 "print_binds" |
433 "print_quotientsQ3" |
434 "print_quotientsQ3" |
434 "print_quotmaps" |
435 "print_quotmaps" |
435 "print_quotmapsQ3" |
436 "print_quotmapsQ3" |
436 "print_rules" |
437 "print_rules" |
437 "print_simpset" |
438 "print_simpset" |
|
439 "print_state" |
438 "print_statement" |
440 "print_statement" |
439 "print_syntax" |
441 "print_syntax" |
440 "print_theorems" |
442 "print_theorems" |
441 "print_theory" |
443 "print_theory" |
442 "print_trans_rules" |
444 "print_trans_rules" |