src/HOL/Bali/ROOT.ML
author wenzelm
Mon, 06 Feb 2006 20:59:10 +0100
changeset 18943 947d3a694654
parent 16297 928e95c867d6
child 24073 373727835757
permissions -rw-r--r--
moved no_vars to sign.ML; removed dest_def (cf. Sign.cert_def);

(*  Title:      isabelle/Bali/ROOT3.ML
    ID:         $Id$
    Author:     David von Oheimb
    Copyright   1999 Technische Universitaet Muenchen

The Hoare logic for Bali
*)

use_thy "AxExample";
use_thy "AxSound";
use_thy "AxCompl";
use_thy "Trans";