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

14030 cd928c0ac225 Adapted to changes in Map.thy schirmer parents: 13550 diff changeset	1	(* Title: isabelle/Bali/ROOT3.ML
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
cd928c0ac225 Adapted to changes in Map.thy schirmer parents: 13550 diff changeset	6	The Hoare logic for Bali
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
16297 928e95c867d6 update -> use nipkow parents: 14030 diff changeset	9	use_thy "AxExample";
928e95c867d6 update -> use nipkow parents: 14030 diff changeset	10	use_thy "AxSound";
928e95c867d6 update -> use nipkow parents: 14030 diff changeset	11	use_thy "AxCompl";
928e95c867d6 update -> use nipkow parents: 14030 diff changeset	12	use_thy "Trans";