isabelle: src/HOL/Bali/ROOT.ML@373727835757 (annotated)

24073 373727835757 simultaneous use_thys; wenzelm parents: 16297 diff changeset	1	(* Title: HOL/Bali/ROOT.ML
14030 cd928c0ac225 Adapted to changes in Map.thy schirmer parents: 13550 diff changeset	2	ID: $Id$
cd928c0ac225 Adapted to changes in Map.thy schirmer parents: 13550 diff changeset	3	Author: David von Oheimb
cd928c0ac225 Adapted to changes in Map.thy schirmer parents: 13550 diff changeset	4	Copyright 1999 Technische Universitaet Muenchen
cd928c0ac225 Adapted to changes in Map.thy schirmer parents: 13550 diff changeset	5
24073 373727835757 simultaneous use_thys; wenzelm parents: 16297 diff changeset	6	The Hoare logic for Bali.
14030 cd928c0ac225 Adapted to changes in Map.thy schirmer parents: 13550 diff changeset	7	*)
cd928c0ac225 Adapted to changes in Map.thy schirmer parents: 13550 diff changeset	8
24073 373727835757 simultaneous use_thys; wenzelm parents: 16297 diff changeset	9	use_thys ["AxExample", "AxSound", "AxCompl", "Trans"];