changeset 76649 | 9a6cb5ecc183 |
parent 76420 | 809cd1195795 |
child 78657 | 0aa741c67086 |
76643:f8826fc8c419 | 76649:9a6cb5ecc183 |
---|---|
24 Setup |
24 Setup |
25 theories |
25 theories |
26 Introduction |
26 Introduction |
27 Foundations |
27 Foundations |
28 Refinement |
28 Refinement |
29 Partial_Functions |
|
29 Inductive_Predicate |
30 Inductive_Predicate |
30 Evaluation |
31 Evaluation |
31 Computations |
32 Computations |
32 Adaptation |
33 Adaptation |
33 Further |
34 Further |