equal
deleted
inserted
replaced
92 "domain_isomorphism" |
92 "domain_isomorphism" |
93 "done" |
93 "done" |
94 "enable_pr" |
94 "enable_pr" |
95 "end" |
95 "end" |
96 "equivariance" |
96 "equivariance" |
|
97 "example_proof" |
97 "exit" |
98 "exit" |
98 "export_code" |
99 "export_code" |
99 "extract" |
100 "extract" |
100 "extract_type" |
101 "extract_type" |
101 "finalconsts" |
102 "finalconsts" |
560 '("ax_specification" |
561 '("ax_specification" |
561 "boogie_vc" |
562 "boogie_vc" |
562 "code_pred" |
563 "code_pred" |
563 "corollary" |
564 "corollary" |
564 "cpodef" |
565 "cpodef" |
|
566 "example_proof" |
565 "function" |
567 "function" |
566 "instance" |
568 "instance" |
567 "interpretation" |
569 "interpretation" |
568 "lemma" |
570 "lemma" |
569 "nominal_inductive" |
571 "nominal_inductive" |