src/HOL/Bali/Bali.thy
author wenzelm
Mon Mar 22 20:58:52 2010 +0100 (2010-03-22)
changeset 35898 c890a3835d15
parent 32634 9b19cbb0af28
permissions -rw-r--r--
recovered header;
     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