equal
deleted
inserted
replaced
42 "class_deps" |
42 "class_deps" |
43 "classes" |
43 "classes" |
44 "classrel" |
44 "classrel" |
45 "clear_undos" |
45 "clear_undos" |
46 "code_abstype" |
46 "code_abstype" |
|
47 "code_axioms" |
47 "code_class" |
48 "code_class" |
48 "code_const" |
49 "code_const" |
49 "code_constname" |
50 "code_constname" |
50 "code_constsubst" |
|
51 "code_gen" |
51 "code_gen" |
52 "code_instance" |
52 "code_instance" |
53 "code_instname" |
53 "code_instname" |
54 "code_library" |
54 "code_library" |
55 "code_module" |
55 "code_module" |
377 "axioms" |
377 "axioms" |
378 "class" |
378 "class" |
379 "classes" |
379 "classes" |
380 "classrel" |
380 "classrel" |
381 "code_abstype" |
381 "code_abstype" |
|
382 "code_axioms" |
382 "code_class" |
383 "code_class" |
383 "code_const" |
384 "code_const" |
384 "code_constname" |
385 "code_constname" |
385 "code_constsubst" |
|
386 "code_instance" |
386 "code_instance" |
387 "code_instname" |
387 "code_instname" |
388 "code_library" |
388 "code_library" |
389 "code_module" |
389 "code_module" |
390 "code_reserved" |
390 "code_reserved" |