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