equal
deleted
inserted
replaced
55 "corollary" |
55 "corollary" |
56 "datatype" |
56 "datatype" |
57 "declaration" |
57 "declaration" |
58 "declare" |
58 "declare" |
59 "def" |
59 "def" |
60 "defaultsort" |
60 "default_sort" |
61 "defer" |
61 "defer" |
62 "definition" |
62 "definition" |
63 "defs" |
63 "defs" |
64 "disable_pr" |
64 "disable_pr" |
65 "display_drafts" |
65 "display_drafts" |
370 "consts_code" |
370 "consts_code" |
371 "context" |
371 "context" |
372 "datatype" |
372 "datatype" |
373 "declaration" |
373 "declaration" |
374 "declare" |
374 "declare" |
375 "defaultsort" |
375 "default_sort" |
376 "definition" |
376 "definition" |
377 "defs" |
377 "defs" |
378 "extract" |
378 "extract" |
379 "extract_type" |
379 "extract_type" |
380 "finalconsts" |
380 "finalconsts" |