src/HOL/Bali/ROOT.ML
author haftmann
Mon Aug 14 13:46:06 2006 +0200 (2006-08-14)
changeset 20380 14f9f2a1caa6
parent 16297 928e95c867d6
child 24073 373727835757
permissions -rw-r--r--
simplified code generator setup
     1 (*  Title:      isabelle/Bali/ROOT3.ML
     2     ID:         $Id$
     3     Author:     David von Oheimb
     4     Copyright   1999 Technische Universitaet Muenchen
     5 
     6 The Hoare logic for Bali
     7 *)
     8 
     9 use_thy "AxExample";
    10 use_thy "AxSound";
    11 use_thy "AxCompl";
    12 use_thy "Trans";