equal
deleted
inserted
replaced
42 "code_datatype" |
42 "code_datatype" |
43 "code_library" |
43 "code_library" |
44 "code_module" |
44 "code_module" |
45 "coinductive" |
45 "coinductive" |
46 "commit" |
46 "commit" |
47 "constdefs" |
|
48 "consts" |
47 "consts" |
49 "consts_code" |
48 "consts_code" |
50 "context" |
49 "context" |
51 "corollary" |
50 "corollary" |
52 "datatype" |
51 "datatype" |
352 "codatatype" |
351 "codatatype" |
353 "code_datatype" |
352 "code_datatype" |
354 "code_library" |
353 "code_library" |
355 "code_module" |
354 "code_module" |
356 "coinductive" |
355 "coinductive" |
357 "constdefs" |
|
358 "consts" |
356 "consts" |
359 "consts_code" |
357 "consts_code" |
360 "context" |
358 "context" |
361 "datatype" |
359 "datatype" |
362 "declaration" |
360 "declaration" |