Theory Bali

Up to index of Isabelle/HOL/Bali

theory Bali
imports AxExample AxSound AxCompl Trans

(*  Author:     David von Oheimb
Copyright 1999 Technische Universitaet Muenchen
*)


header {* The Hoare logic for Bali. *}

theory Bali
imports AxExample AxSound AxCompl Trans
begin


end