src/HOL/Bali/ROOT.ML

Reversed Larry's option/iff change.

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