changeset 16297 | 928e95c867d6 |
parent 14030 | cd928c0ac225 |
child 24073 | 373727835757 |
16296:f05c81817ec6 | 16297:928e95c867d6 |
---|---|
4 Copyright 1999 Technische Universitaet Muenchen |
4 Copyright 1999 Technische Universitaet Muenchen |
5 |
5 |
6 The Hoare logic for Bali |
6 The Hoare logic for Bali |
7 *) |
7 *) |
8 |
8 |
9 update_thy "AxExample"; |
9 use_thy "AxExample"; |
10 update_thy "AxSound"; |
10 use_thy "AxSound"; |
11 update_thy "AxCompl"; |
11 use_thy "AxCompl"; |
12 update_thy "Trans"; |
12 use_thy "Trans"; |