equal
deleted
inserted
replaced
59 "consts" |
59 "consts" |
60 "consts_code" |
60 "consts_code" |
61 "context" |
61 "context" |
62 "corollary" |
62 "corollary" |
63 "datatype" |
63 "datatype" |
|
64 "declaration" |
64 "declare" |
65 "declare" |
65 "def" |
66 "def" |
66 "defaultsort" |
67 "defaultsort" |
67 "defer" |
68 "defer" |
68 "defer_recdef" |
69 "defer_recdef" |
393 "constdefs" |
394 "constdefs" |
394 "consts" |
395 "consts" |
395 "consts_code" |
396 "consts_code" |
396 "context" |
397 "context" |
397 "datatype" |
398 "datatype" |
|
399 "declaration" |
398 "defaultsort" |
400 "defaultsort" |
399 "defer_recdef" |
401 "defer_recdef" |
400 "definition" |
402 "definition" |
401 "defs" |
403 "defs" |
402 "extract" |
404 "extract" |