equal
deleted
inserted
replaced
153 "print_translation" |
153 "print_translation" |
154 "proof" |
154 "proof" |
155 "prop" |
155 "prop" |
156 "pwd" |
156 "pwd" |
157 "qed" |
157 "qed" |
158 "quickcheck" |
|
159 "quickcheck_params" |
|
160 "quit" |
158 "quit" |
161 "realizability" |
159 "realizability" |
162 "realizers" |
160 "realizers" |
163 "remove_thy" |
161 "remove_thy" |
164 "rep_datatype" |
162 "rep_datatype" |
317 "print_theorems" |
315 "print_theorems" |
318 "print_theory" |
316 "print_theory" |
319 "print_trans_rules" |
317 "print_trans_rules" |
320 "prop" |
318 "prop" |
321 "pwd" |
319 "pwd" |
322 "quickcheck" |
|
323 "remove_thy" |
320 "remove_thy" |
324 "term" |
321 "term" |
325 "thm" |
322 "thm" |
326 "thm_deps" |
323 "thm_deps" |
327 "thy_deps" |
324 "thy_deps" |
395 "parse_ast_translation" |
392 "parse_ast_translation" |
396 "parse_translation" |
393 "parse_translation" |
397 "primrec" |
394 "primrec" |
398 "print_ast_translation" |
395 "print_ast_translation" |
399 "print_translation" |
396 "print_translation" |
400 "quickcheck_params" |
|
401 "realizability" |
397 "realizability" |
402 "realizers" |
398 "realizers" |
403 "rep_datatype" |
399 "rep_datatype" |
404 "setup" |
400 "setup" |
405 "simproc_setup" |
401 "simproc_setup" |