src/HOL/Bali/Bali.thy
author haftmann
Wed Jun 30 16:46:44 2010 +0200 (2010-06-30)
changeset 37659 14cabf5fa710
parent 32634 9b19cbb0af28
permissions -rw-r--r--
more speaking names
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