equal
deleted
inserted
replaced
39 "chapter" |
39 "chapter" |
40 "class" |
40 "class" |
41 "class_deps" |
41 "class_deps" |
42 "classes" |
42 "classes" |
43 "classrel" |
43 "classrel" |
|
44 "code_abort" |
44 "code_class" |
45 "code_class" |
45 "code_const" |
46 "code_const" |
46 "code_datatype" |
47 "code_datatype" |
47 "code_deps" |
48 "code_deps" |
48 "code_exception" |
|
49 "code_include" |
49 "code_include" |
50 "code_instance" |
50 "code_instance" |
51 "code_library" |
51 "code_library" |
52 "code_module" |
52 "code_module" |
53 "code_modulename" |
53 "code_modulename" |
255 "compose" |
255 "compose" |
256 "congs" |
256 "congs" |
257 "constrains" |
257 "constrains" |
258 "contains" |
258 "contains" |
259 "defines" |
259 "defines" |
260 "distinct" |
|
261 "file" |
260 "file" |
262 "fixes" |
261 "fixes" |
263 "for" |
262 "for" |
264 "hide_action" |
263 "hide_action" |
265 "hints" |
264 "hints" |
266 "identifier" |
265 "identifier" |
267 "if" |
266 "if" |
268 "imports" |
267 "imports" |
269 "in" |
268 "in" |
270 "includes" |
269 "includes" |
271 "induction" |
|
272 "infix" |
270 "infix" |
273 "infixl" |
271 "infixl" |
274 "infixr" |
272 "infixr" |
275 "initially" |
273 "initially" |
276 "inject" |
|
277 "inputs" |
274 "inputs" |
278 "internals" |
275 "internals" |
279 "is" |
276 "is" |
280 "lazy" |
277 "lazy" |
281 "module_name" |
278 "module_name" |
411 "axiomatization" |
408 "axiomatization" |
412 "axioms" |
409 "axioms" |
413 "class" |
410 "class" |
414 "classes" |
411 "classes" |
415 "classrel" |
412 "classrel" |
|
413 "code_abort" |
416 "code_class" |
414 "code_class" |
417 "code_const" |
415 "code_const" |
418 "code_datatype" |
416 "code_datatype" |
419 "code_exception" |
|
420 "code_include" |
417 "code_include" |
421 "code_instance" |
418 "code_instance" |
422 "code_library" |
419 "code_library" |
423 "code_module" |
420 "code_module" |
424 "code_modulename" |
421 "code_modulename" |
474 "realizability" |
471 "realizability" |
475 "realizers" |
472 "realizers" |
476 "recdef" |
473 "recdef" |
477 "record" |
474 "record" |
478 "refute_params" |
475 "refute_params" |
479 "rep_datatype" |
|
480 "setup" |
476 "setup" |
481 "simproc_setup" |
477 "simproc_setup" |
482 "statespace" |
478 "statespace" |
483 "syntax" |
479 "syntax" |
484 "text" |
480 "text" |
505 "lemma" |
501 "lemma" |
506 "nominal_inductive" |
502 "nominal_inductive" |
507 "nominal_primrec" |
503 "nominal_primrec" |
508 "pcpodef" |
504 "pcpodef" |
509 "recdef_tc" |
505 "recdef_tc" |
|
506 "rep_datatype" |
510 "specification" |
507 "specification" |
511 "subclass" |
508 "subclass" |
512 "termination" |
509 "termination" |
513 "theorem" |
510 "theorem" |
514 "typedef")) |
511 "typedef")) |