1
(* Title: HOL/Bali/ROOT.ML
2
ID: $Id$
3
Author: David von Oheimb
4
Copyright 1999 Technische Universitaet Muenchen
5
6
The Hoare logic for Bali.
7
*)
8
9
use_thys ["AxExample", "AxSound", "AxCompl", "Trans"];