equal
deleted
inserted
replaced
37 "cd" |
37 "cd" |
38 "chapter" |
38 "chapter" |
39 "classes" |
39 "classes" |
40 "classrel" |
40 "classrel" |
41 "clear_undos" |
41 "clear_undos" |
|
42 "code_alias" |
|
43 "code_class" |
42 "code_generate" |
44 "code_generate" |
43 "code_library" |
45 "code_library" |
44 "code_module" |
46 "code_module" |
45 "code_serialize" |
47 "code_serialize" |
46 "code_syntax_const" |
48 "code_syntax_const" |
47 "code_syntax_tyco" |
49 "code_syntax_tyco" |
48 "codegen_class" |
|
49 "coinductive" |
50 "coinductive" |
50 "commit" |
51 "commit" |
51 "constdefs" |
52 "constdefs" |
52 "consts" |
53 "consts" |
53 "consts_code" |
54 "consts_code" |
58 "declare" |
59 "declare" |
59 "def" |
60 "def" |
60 "defaultsort" |
61 "defaultsort" |
61 "defer" |
62 "defer" |
62 "defer_recdef" |
63 "defer_recdef" |
63 "defined_by" |
|
64 "defs" |
64 "defs" |
65 "disable_pr" |
65 "disable_pr" |
66 "display_drafts" |
66 "display_drafts" |
67 "domain" |
67 "domain" |
68 "done" |
68 "done" |
211 "and" |
211 "and" |
212 "assumes" |
212 "assumes" |
213 "attach" |
213 "attach" |
214 "begin" |
214 "begin" |
215 "binder" |
215 "binder" |
216 "code_alias" |
|
217 "compose" |
216 "compose" |
218 "concl" |
217 "concl" |
219 "congs" |
218 "congs" |
220 "constrains" |
219 "constrains" |
221 "contains" |
220 "contains" |
|
221 "defined_by" |
222 "defines" |
222 "defines" |
223 "depending_on" |
223 "depending_on" |
224 "distinct" |
224 "distinct" |
225 "extracting" |
225 "extracting" |
226 "file" |
226 "file" |
361 "automaton" |
361 "automaton" |
362 "axclass" |
362 "axclass" |
363 "axioms" |
363 "axioms" |
364 "classes" |
364 "classes" |
365 "classrel" |
365 "classrel" |
|
366 "code_alias" |
|
367 "code_class" |
366 "code_generate" |
368 "code_generate" |
367 "code_library" |
369 "code_library" |
368 "code_module" |
370 "code_module" |
369 "code_serialize" |
371 "code_serialize" |
370 "code_syntax_const" |
372 "code_syntax_const" |
371 "code_syntax_tyco" |
373 "code_syntax_tyco" |
372 "codegen_class" |
|
373 "coinductive" |
374 "coinductive" |
374 "constdefs" |
375 "constdefs" |
375 "consts" |
376 "consts" |
376 "consts_code" |
377 "consts_code" |
377 "datatype" |
378 "datatype" |
378 "defaultsort" |
379 "defaultsort" |
379 "defer_recdef" |
380 "defer_recdef" |
380 "defined_by" |
|
381 "defs" |
381 "defs" |
382 "domain" |
382 "domain" |
383 "extract" |
383 "extract" |
384 "extract_type" |
384 "extract_type" |
385 "finalconsts" |
385 "finalconsts" |