src/HOL/Bali/ROOT.ML

more markup for inner and outer syntax;
added enclose;

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