Barith removed
VS: ----------------------------------------------------------------------
(* 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";