changeset 9066 | b1e874e38dab |
parent 8862 | 78643f8449c6 |
child 9619 | 6125cc9efc18 |
9065:15f82c9aa331 | 9066:b1e874e38dab |
---|---|
9 |
9 |
10 theory PreList = |
10 theory PreList = |
11 Option + WF_Rel + NatSimprocs + Recdef + Record + RelPow + Calculation + |
11 Option + WF_Rel + NatSimprocs + Recdef + Record + RelPow + Calculation + |
12 SVC_Oracle: |
12 SVC_Oracle: |
13 |
13 |
14 theorems [cases type: bool] = case_split |
|
15 |
|
14 end |
16 end |