Up to index of Isabelle/HOL/Bali
(* Author: David von Oheimb Copyright 1999 Technische Universitaet Muenchen*)header {* The Hoare logic for Bali. *}theory Baliimports AxExample AxSound AxCompl Transbeginend