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