1 (* Author: David von Oheimb
2 Copyright 1999 Technische Universitaet Muenchen
3 *)
4
5 header {* The Hoare logic for Bali. *}
6
7 theory Bali
8 imports AxExample AxSound AxCompl Trans
9 begin
10
11 end