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.
     1 (*  Author:     David von Oheimb
     2     Copyright   1999 Technische Universitaet Muenchen
     3 *)
     4 
     5 header {* The Hoare logic for Bali. *}
     6 
     7 theory Bali
     8 imports AxExample AxSound AxCompl Trans
     9 begin
    10 
    11 end