equal
deleted
inserted
replaced
35 "chapter" |
35 "chapter" |
36 "classes" |
36 "classes" |
37 "classrel" |
37 "classrel" |
38 "clear_undos" |
38 "clear_undos" |
39 "codatatype" |
39 "codatatype" |
|
40 "code_alias" |
|
41 "code_class" |
40 "code_generate" |
42 "code_generate" |
41 "code_library" |
43 "code_library" |
42 "code_module" |
44 "code_module" |
43 "code_serialize" |
45 "code_serialize" |
44 "code_syntax_const" |
46 "code_syntax_const" |
45 "code_syntax_tyco" |
47 "code_syntax_tyco" |
46 "codegen_class" |
|
47 "coinductive" |
48 "coinductive" |
48 "commit" |
49 "commit" |
49 "constdefs" |
50 "constdefs" |
50 "consts" |
51 "consts" |
51 "consts_code" |
52 "consts_code" |
54 "datatype" |
55 "datatype" |
55 "declare" |
56 "declare" |
56 "def" |
57 "def" |
57 "defaultsort" |
58 "defaultsort" |
58 "defer" |
59 "defer" |
59 "defined_by" |
|
60 "defs" |
60 "defs" |
61 "disable_pr" |
61 "disable_pr" |
62 "display_drafts" |
62 "display_drafts" |
63 "done" |
63 "done" |
64 "enable_pr" |
64 "enable_pr" |
197 "assumes" |
197 "assumes" |
198 "attach" |
198 "attach" |
199 "begin" |
199 "begin" |
200 "binder" |
200 "binder" |
201 "case_eqns" |
201 "case_eqns" |
202 "code_alias" |
|
203 "con_defs" |
202 "con_defs" |
204 "concl" |
203 "concl" |
205 "constrains" |
204 "constrains" |
206 "contains" |
205 "contains" |
|
206 "defined_by" |
207 "defines" |
207 "defines" |
208 "depending_on" |
208 "depending_on" |
209 "domains" |
209 "domains" |
210 "elimination" |
210 "elimination" |
211 "extracting" |
211 "extracting" |
330 "axclass" |
330 "axclass" |
331 "axioms" |
331 "axioms" |
332 "classes" |
332 "classes" |
333 "classrel" |
333 "classrel" |
334 "codatatype" |
334 "codatatype" |
|
335 "code_alias" |
|
336 "code_class" |
335 "code_generate" |
337 "code_generate" |
336 "code_library" |
338 "code_library" |
337 "code_module" |
339 "code_module" |
338 "code_serialize" |
340 "code_serialize" |
339 "code_syntax_const" |
341 "code_syntax_const" |
340 "code_syntax_tyco" |
342 "code_syntax_tyco" |
341 "codegen_class" |
|
342 "coinductive" |
343 "coinductive" |
343 "constdefs" |
344 "constdefs" |
344 "consts" |
345 "consts" |
345 "consts_code" |
346 "consts_code" |
346 "datatype" |
347 "datatype" |
347 "defaultsort" |
348 "defaultsort" |
348 "defined_by" |
|
349 "defs" |
349 "defs" |
350 "extract" |
350 "extract" |
351 "extract_type" |
351 "extract_type" |
352 "finalconsts" |
352 "finalconsts" |
353 "global" |
353 "global" |