(* Title: HOL/Bali/ROOT.ML ID: $Id$ Author: David von Oheimb Copyright 1999 Technische Universitaet Muenchen The Hoare logic for Bali. *) use_thys ["AxExample", "AxSound", "AxCompl", "Trans"];