src/HOL/Bali/ROOT.ML
changeset 32634 9b19cbb0af28
parent 24073 373727835757
child 33615 261abc2e3155
--- a/src/HOL/Bali/ROOT.ML	Mon Sep 21 16:00:34 2009 +0200
+++ b/src/HOL/Bali/ROOT.ML	Mon Sep 21 16:00:53 2009 +0200
@@ -1,9 +1,2 @@
-(*  Title:      HOL/Bali/ROOT.ML
-    ID:         $Id$
-    Author:     David von Oheimb
-    Copyright   1999 Technische Universitaet Muenchen
 
-The Hoare logic for Bali.
-*)
-
-use_thys ["AxExample", "AxSound", "AxCompl", "Trans"];
+use_thy "Bali"