equal
deleted
inserted
replaced
28 "assume" |
28 "assume" |
29 "atom_decl" |
29 "atom_decl" |
30 "attribute_setup" |
30 "attribute_setup" |
31 "ax_specification" |
31 "ax_specification" |
32 "axiomatization" |
32 "axiomatization" |
33 "axioms" |
|
34 "back" |
33 "back" |
35 "bnf_def" |
34 "bnf_def" |
36 "boogie_end" |
35 "boogie_end" |
37 "boogie_open" |
36 "boogie_open" |
38 "boogie_status" |
37 "boogie_status" |
470 "abbreviation" |
469 "abbreviation" |
471 "arities" |
470 "arities" |
472 "atom_decl" |
471 "atom_decl" |
473 "attribute_setup" |
472 "attribute_setup" |
474 "axiomatization" |
473 "axiomatization" |
475 "axioms" |
|
476 "boogie_end" |
474 "boogie_end" |
477 "boogie_open" |
475 "boogie_open" |
478 "bundle" |
476 "bundle" |
479 "class" |
477 "class" |
480 "classes" |
478 "classes" |