equal
deleted
inserted
replaced
38 "class" |
38 "class" |
39 "classes" |
39 "classes" |
40 "classrel" |
40 "classrel" |
41 "clear_undos" |
41 "clear_undos" |
42 "codatatype" |
42 "codatatype" |
43 "code_alias" |
|
44 "code_classapp" |
43 "code_classapp" |
45 "code_constapp" |
44 "code_constapp" |
46 "code_constname" |
45 "code_constname" |
47 "code_generate" |
46 "code_generate" |
48 "code_library" |
47 "code_library" |
49 "code_module" |
48 "code_module" |
50 "code_purge" |
49 "code_purge" |
51 "code_serialize" |
50 "code_serialize" |
52 "code_simtype" |
51 "code_simtype" |
53 "code_typapp" |
52 "code_typapp" |
|
53 "code_typename" |
54 "coinductive" |
54 "coinductive" |
55 "commit" |
55 "commit" |
56 "const_syntax" |
56 "const_syntax" |
57 "constdefs" |
57 "constdefs" |
58 "consts" |
58 "consts" |
124 "print_ast_translation" |
124 "print_ast_translation" |
125 "print_attributes" |
125 "print_attributes" |
126 "print_binds" |
126 "print_binds" |
127 "print_cases" |
127 "print_cases" |
128 "print_claset" |
128 "print_claset" |
|
129 "print_classes" |
129 "print_commands" |
130 "print_commands" |
130 "print_context" |
131 "print_context" |
131 "print_drafts" |
132 "print_drafts" |
132 "print_facts" |
133 "print_facts" |
133 "print_induct_rules" |
134 "print_induct_rules" |
286 "print_antiquotations" |
287 "print_antiquotations" |
287 "print_attributes" |
288 "print_attributes" |
288 "print_binds" |
289 "print_binds" |
289 "print_cases" |
290 "print_cases" |
290 "print_claset" |
291 "print_claset" |
|
292 "print_classes" |
291 "print_commands" |
293 "print_commands" |
292 "print_context" |
294 "print_context" |
293 "print_drafts" |
295 "print_drafts" |
294 "print_facts" |
296 "print_facts" |
295 "print_induct_rules" |
297 "print_induct_rules" |
348 "axioms" |
350 "axioms" |
349 "class" |
351 "class" |
350 "classes" |
352 "classes" |
351 "classrel" |
353 "classrel" |
352 "codatatype" |
354 "codatatype" |
353 "code_alias" |
|
354 "code_classapp" |
355 "code_classapp" |
355 "code_constapp" |
356 "code_constapp" |
356 "code_constname" |
357 "code_constname" |
357 "code_generate" |
358 "code_generate" |
358 "code_library" |
359 "code_library" |
359 "code_module" |
360 "code_module" |
360 "code_purge" |
361 "code_purge" |
361 "code_serialize" |
362 "code_serialize" |
362 "code_typapp" |
363 "code_typapp" |
|
364 "code_typename" |
363 "coinductive" |
365 "coinductive" |
364 "const_syntax" |
366 "const_syntax" |
365 "constdefs" |
367 "constdefs" |
366 "consts" |
368 "consts" |
367 "consts_code" |
369 "consts_code" |