equal
deleted
inserted
replaced
51 "code_serialize" |
51 "code_serialize" |
52 "code_syntax_const" |
52 "code_syntax_const" |
53 "code_syntax_tyco" |
53 "code_syntax_tyco" |
54 "coinductive" |
54 "coinductive" |
55 "commit" |
55 "commit" |
|
56 "const_syntax" |
56 "constdefs" |
57 "constdefs" |
57 "consts" |
58 "consts" |
58 "consts_code" |
59 "consts_code" |
59 "context" |
60 "context" |
60 "corollary" |
61 "corollary" |
356 "code_purge" |
357 "code_purge" |
357 "code_serialize" |
358 "code_serialize" |
358 "code_syntax_const" |
359 "code_syntax_const" |
359 "code_syntax_tyco" |
360 "code_syntax_tyco" |
360 "coinductive" |
361 "coinductive" |
|
362 "const_syntax" |
361 "constdefs" |
363 "constdefs" |
362 "consts" |
364 "consts" |
363 "consts_code" |
365 "consts_code" |
364 "datatype" |
366 "datatype" |
365 "defaultsort" |
367 "defaultsort" |