(*  Title:      isabelle/Bali/ROOT3.ML
    ID:         $Id: ROOT.ML,v 1.7 2005/06/06 11:30:05 nipkow Exp $
    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";
