equal
deleted
inserted
replaced
191 "pwd" |
191 "pwd" |
192 "qed" |
192 "qed" |
193 "quickcheck" |
193 "quickcheck" |
194 "quickcheck_params" |
194 "quickcheck_params" |
195 "quit" |
195 "quit" |
196 "quotient_def" |
196 "quotient_definition" |
197 "quotient_type" |
197 "quotient_type" |
198 "realizability" |
198 "realizability" |
199 "realizers" |
199 "realizers" |
200 "recdef" |
200 "recdef" |
201 "recdef_tc" |
201 "recdef_tc" |
475 "parse_translation" |
475 "parse_translation" |
476 "primrec" |
476 "primrec" |
477 "print_ast_translation" |
477 "print_ast_translation" |
478 "print_translation" |
478 "print_translation" |
479 "quickcheck_params" |
479 "quickcheck_params" |
480 "quotient_def" |
480 "quotient_definition" |
481 "realizability" |
481 "realizability" |
482 "realizers" |
482 "realizers" |
483 "recdef" |
483 "recdef" |
484 "record" |
484 "record" |
485 "refute_params" |
485 "refute_params" |