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
schirmer@14030
     1
(*  Title:      isabelle/Bali/ROOT3.ML
schirmer@14030
     2
    ID:         $Id$
schirmer@14030
     3
    Author:     David von Oheimb
schirmer@14030
     4
    Copyright   1999 Technische Universitaet Muenchen
schirmer@14030
     5
schirmer@14030
     6
The Hoare logic for Bali
schirmer@14030
     7
*)
schirmer@14030
     8
nipkow@16297
     9
use_thy "AxExample";
nipkow@16297
    10
use_thy "AxSound";
nipkow@16297
    11
use_thy "AxCompl";
nipkow@16297
    12
use_thy "Trans";