modernized syntax translations, using mostly abbreviation/notation;
minor tuning;
(* Author: David von Oheimb
Copyright 1999 Technische Universitaet Muenchen
*)
header {* The Hoare logic for Bali. *}
theory Bali
imports AxExample AxSound AxCompl Trans
begin
end