equal
deleted
inserted
replaced
40 "chapter" |
40 "chapter" |
41 "class" |
41 "class" |
42 "classes" |
42 "classes" |
43 "classrel" |
43 "classrel" |
44 "clear_undos" |
44 "clear_undos" |
45 "code_alias" |
|
46 "code_classapp" |
45 "code_classapp" |
47 "code_constapp" |
46 "code_constapp" |
48 "code_constname" |
47 "code_constname" |
49 "code_generate" |
48 "code_generate" |
50 "code_library" |
49 "code_library" |
51 "code_module" |
50 "code_module" |
52 "code_purge" |
51 "code_purge" |
53 "code_serialize" |
52 "code_serialize" |
54 "code_simtype" |
53 "code_simtype" |
55 "code_typapp" |
54 "code_typapp" |
|
55 "code_typename" |
56 "coinductive" |
56 "coinductive" |
57 "commit" |
57 "commit" |
58 "const_syntax" |
58 "const_syntax" |
59 "constdefs" |
59 "constdefs" |
60 "consts" |
60 "consts" |
129 "print_ast_translation" |
129 "print_ast_translation" |
130 "print_attributes" |
130 "print_attributes" |
131 "print_binds" |
131 "print_binds" |
132 "print_cases" |
132 "print_cases" |
133 "print_claset" |
133 "print_claset" |
|
134 "print_classes" |
134 "print_commands" |
135 "print_commands" |
135 "print_context" |
136 "print_context" |
136 "print_drafts" |
137 "print_drafts" |
137 "print_facts" |
138 "print_facts" |
138 "print_induct_rules" |
139 "print_induct_rules" |
300 "print_antiquotations" |
301 "print_antiquotations" |
301 "print_attributes" |
302 "print_attributes" |
302 "print_binds" |
303 "print_binds" |
303 "print_cases" |
304 "print_cases" |
304 "print_claset" |
305 "print_claset" |
|
306 "print_classes" |
305 "print_commands" |
307 "print_commands" |
306 "print_context" |
308 "print_context" |
307 "print_drafts" |
309 "print_drafts" |
308 "print_facts" |
310 "print_facts" |
309 "print_induct_rules" |
311 "print_induct_rules" |
362 "axiomatization" |
364 "axiomatization" |
363 "axioms" |
365 "axioms" |
364 "class" |
366 "class" |
365 "classes" |
367 "classes" |
366 "classrel" |
368 "classrel" |
367 "code_alias" |
|
368 "code_classapp" |
369 "code_classapp" |
369 "code_constapp" |
370 "code_constapp" |
370 "code_constname" |
371 "code_constname" |
371 "code_generate" |
372 "code_generate" |
372 "code_library" |
373 "code_library" |
373 "code_module" |
374 "code_module" |
374 "code_purge" |
375 "code_purge" |
375 "code_serialize" |
376 "code_serialize" |
376 "code_typapp" |
377 "code_typapp" |
|
378 "code_typename" |
377 "coinductive" |
379 "coinductive" |
378 "const_syntax" |
380 "const_syntax" |
379 "constdefs" |
381 "constdefs" |
380 "consts" |
382 "consts" |
381 "consts_code" |
383 "consts_code" |