changeset 58887 | 38db8ddc0f57 |
parent 58251 | b13e5c3497f5 |
child 61424 | c3658c18b7bc |
58886:8a6cac7c7247 | 58887:38db8ddc0f57 |
---|---|
1 header {* Correctness of Definite Assignment *} |
1 subsection {* Correctness of Definite Assignment *} |
2 |
2 |
3 theory DefiniteAssignmentCorrect imports WellForm Eval begin |
3 theory DefiniteAssignmentCorrect imports WellForm Eval begin |
4 |
4 |
5 declare [[simproc del: wt_expr wt_var wt_exprs wt_stmt]] |
5 declare [[simproc del: wt_expr wt_var wt_exprs wt_stmt]] |
6 |
6 |