equal
deleted
inserted
replaced
34 "by" |
34 "by" |
35 "cannot_undo" |
35 "cannot_undo" |
36 "case" |
36 "case" |
37 "cd" |
37 "cd" |
38 "chapter" |
38 "chapter" |
|
39 "class_class" |
39 "classes" |
40 "classes" |
40 "classrel" |
41 "classrel" |
41 "clear_undos" |
42 "clear_undos" |
42 "code_alias" |
43 "code_alias" |
43 "code_class" |
44 "code_class" |
44 "code_generate" |
45 "code_generate" |
45 "code_library" |
46 "code_library" |
46 "code_module" |
47 "code_module" |
|
48 "code_primclass" |
|
49 "code_primconst" |
|
50 "code_primtyco" |
47 "code_serialize" |
51 "code_serialize" |
48 "code_syntax_const" |
52 "code_syntax_const" |
49 "code_syntax_tyco" |
53 "code_syntax_tyco" |
50 "coinductive" |
54 "coinductive" |
51 "commit" |
55 "commit" |
217 "concl" |
221 "concl" |
218 "congs" |
222 "congs" |
219 "constants" |
223 "constants" |
220 "constrains" |
224 "constrains" |
221 "contains" |
225 "contains" |
222 "defined_by" |
|
223 "defines" |
226 "defines" |
224 "depending_on" |
227 "depending_on" |
225 "distinct" |
228 "distinct" |
226 "file" |
229 "file" |
227 "files" |
230 "files" |
359 '("ML_setup" |
362 '("ML_setup" |
360 "arities" |
363 "arities" |
361 "automaton" |
364 "automaton" |
362 "axclass" |
365 "axclass" |
363 "axioms" |
366 "axioms" |
|
367 "class_class" |
364 "classes" |
368 "classes" |
365 "classrel" |
369 "classrel" |
366 "code_alias" |
370 "code_alias" |
367 "code_class" |
371 "code_class" |
368 "code_generate" |
372 "code_generate" |
369 "code_library" |
373 "code_library" |
370 "code_module" |
374 "code_module" |
|
375 "code_primclass" |
|
376 "code_primconst" |
|
377 "code_primtyco" |
371 "code_serialize" |
378 "code_serialize" |
372 "code_syntax_const" |
379 "code_syntax_const" |
373 "code_syntax_tyco" |
380 "code_syntax_tyco" |
374 "coinductive" |
381 "coinductive" |
375 "constdefs" |
382 "constdefs" |