src/HOL/Bali/ROOT.ML

new CCS-based implementation that should work with PolyML 5.0

(*  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";