(* Title: isabelle/Bali/ROOT3.ML ID: $Id$ Author: David von Oheimb Copyright 1999 Technische Universitaet Muenchen The Hoare logic for Bali *) use_thy "AxExample"; use_thy "AxSound"; use_thy "AxCompl"; use_thy "Trans";