equal
deleted
inserted
replaced
43 "code_datatype" |
43 "code_datatype" |
44 "coinductive" |
44 "coinductive" |
45 "commit" |
45 "commit" |
46 "consts" |
46 "consts" |
47 "context" |
47 "context" |
|
48 "context_includes" |
48 "corollary" |
49 "corollary" |
49 "datatype" |
50 "datatype" |
50 "declaration" |
51 "declaration" |
51 "declare" |
52 "declare" |
52 "def" |
53 "def" |
354 "codatatype" |
355 "codatatype" |
355 "code_datatype" |
356 "code_datatype" |
356 "coinductive" |
357 "coinductive" |
357 "consts" |
358 "consts" |
358 "context" |
359 "context" |
|
360 "context_includes" |
359 "datatype" |
361 "datatype" |
360 "declaration" |
362 "declaration" |
361 "declare" |
363 "declare" |
362 "default_sort" |
364 "default_sort" |
363 "definition" |
365 "definition" |