src/HOL/Bali/Bali.thy
author berghofe
Sat Jan 30 17:03:46 2010 +0100 (2010-01-30)
changeset 34990 81e8fdfeb849
parent 32634 9b19cbb0af28
permissions -rw-r--r--
Adapted to changes in cases method.
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