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" |
|
197 "quotient_def" |
196 "quotient_def" |
|
197 "quotient_type" |
198 "realizability" |
198 "realizability" |
199 "realizers" |
199 "realizers" |
200 "recdef" |
200 "recdef" |
201 "recdef_tc" |
201 "recdef_tc" |
202 "record" |
202 "record" |
509 "lemma" |
509 "lemma" |
510 "nominal_inductive" |
510 "nominal_inductive" |
511 "nominal_inductive2" |
511 "nominal_inductive2" |
512 "nominal_primrec" |
512 "nominal_primrec" |
513 "prove" |
513 "prove" |
514 "quotient" |
514 "quotient_type" |
515 "recdef_tc" |
515 "recdef_tc" |
516 "rep_datatype" |
516 "rep_datatype" |
517 "specification" |
517 "specification" |
518 "subclass" |
518 "subclass" |
519 "sublocale" |
519 "sublocale" |