isabelle: src/HOL/Bali/ROOT.ML@cd928c0ac225 (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
13337 f75dfc606ac7 Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet). schirmer parents: 12962 diff changeset	9	update_thy "AxExample";
f75dfc606ac7 Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet). schirmer parents: 12962 diff changeset	10	update_thy "AxSound";
f75dfc606ac7 Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet). schirmer parents: 12962 diff changeset	11	update_thy "AxCompl";
f75dfc606ac7 Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet). schirmer parents: 12962 diff changeset	12	update_thy "Trans";

author	schirmer
	Wed, 14 May 2003 20:29:18 +0200
changeset 14030	cd928c0ac225
parent 13550	5a176b8dda84
child 16297	928e95c867d6
permissions	-rw-r--r--