src/HOL/Bali/ROOT.ML
author schirmer
Mon, 28 Jan 2002 17:00:19 +0100
changeset 12854 00d4a435777f
child 12859 f63315dfffd4
permissions -rw-r--r--
Isabelle/Bali sources;


use_thy "WellForm";

(*The dynamic part of Bali, including type-safety*)
use_thy "Evaln";
use_thy "Example"; 
use_thy "TypeSafe";
(*###use_thy "Trans";*)

(*The Hoare logic for Bali*)
use_thy "AxExample";
use_thy "AxSound";
use_thy "AxCompl";