src/HOL/Bali/Bali.thy
author haftmann
Fri Jun 11 17:14:02 2010 +0200 (2010-06-11)
changeset 37407 61dd8c145da7
parent 32634 9b19cbb0af28
permissions -rw-r--r--
declare lex_prod_def [code del]
haftmann@32634
     1
(*  Author:     David von Oheimb
schirmer@14030
     2
    Copyright   1999 Technische Universitaet Muenchen
schirmer@14030
     3
*)
schirmer@14030
     4
haftmann@32634
     5
header {* The Hoare logic for Bali. *}
haftmann@32634
     6
haftmann@32634
     7
theory Bali
haftmann@32634
     8
imports AxExample AxSound AxCompl Trans
haftmann@32634
     9
begin
haftmann@32634
    10
haftmann@32634
    11
end