equal
deleted
inserted
replaced
44 "clear_undos" |
44 "clear_undos" |
45 "code_class" |
45 "code_class" |
46 "code_const" |
46 "code_const" |
47 "code_constname" |
47 "code_constname" |
48 "code_gen" |
48 "code_gen" |
49 "code_generate" |
|
50 "code_instance" |
49 "code_instance" |
51 "code_library" |
50 "code_library" |
52 "code_module" |
51 "code_module" |
53 "code_purge" |
52 "code_purge" |
54 "code_serialize" |
|
55 "code_simtype" |
53 "code_simtype" |
56 "code_type" |
54 "code_type" |
57 "code_typename" |
55 "code_typename" |
58 "coinductive" |
56 "coinductive" |
59 "commit" |
57 "commit" |
83 "finally" |
81 "finally" |
84 "find_theorems" |
82 "find_theorems" |
85 "fix" |
83 "fix" |
86 "from" |
84 "from" |
87 "full_prf" |
85 "full_prf" |
|
86 "fun" |
88 "function" |
87 "function" |
89 "global" |
88 "global" |
90 "guess" |
89 "guess" |
91 "have" |
90 "have" |
92 "header" |
91 "header" |
370 "classrel" |
369 "classrel" |
371 "code_class" |
370 "code_class" |
372 "code_const" |
371 "code_const" |
373 "code_constname" |
372 "code_constname" |
374 "code_gen" |
373 "code_gen" |
375 "code_generate" |
|
376 "code_instance" |
374 "code_instance" |
377 "code_library" |
375 "code_library" |
378 "code_module" |
376 "code_module" |
379 "code_purge" |
377 "code_purge" |
380 "code_serialize" |
|
381 "code_type" |
378 "code_type" |
382 "code_typename" |
379 "code_typename" |
383 "coinductive" |
380 "coinductive" |
384 "const_syntax" |
381 "const_syntax" |
385 "constdefs" |
382 "constdefs" |
391 "definition" |
388 "definition" |
392 "defs" |
389 "defs" |
393 "extract" |
390 "extract" |
394 "extract_type" |
391 "extract_type" |
395 "finalconsts" |
392 "finalconsts" |
|
393 "fun" |
396 "global" |
394 "global" |
397 "hide" |
395 "hide" |
398 "inductive" |
396 "inductive" |
399 "judgment" |
397 "judgment" |
400 "lemmas" |
398 "lemmas" |