added session theory for Bali
authorhaftmann
Mon Sep 21 16:00:53 2009 +0200 (2009-09-21)
changeset 326349b19cbb0af28
parent 32633 4ba4bfa08749
child 32635 37e32f8aa696
added session theory for Bali
src/HOL/Bali/Bali.thy
src/HOL/Bali/ROOT.ML
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/Bali/Bali.thy	Mon Sep 21 16:00:53 2009 +0200
     1.3 @@ -0,0 +1,11 @@
     1.4 +(*  Author:     David von Oheimb
     1.5 +    Copyright   1999 Technische Universitaet Muenchen
     1.6 +*)
     1.7 +
     1.8 +header {* The Hoare logic for Bali. *}
     1.9 +
    1.10 +theory Bali
    1.11 +imports AxExample AxSound AxCompl Trans
    1.12 +begin
    1.13 +
    1.14 +end
     2.1 --- a/src/HOL/Bali/ROOT.ML	Mon Sep 21 16:00:34 2009 +0200
     2.2 +++ b/src/HOL/Bali/ROOT.ML	Mon Sep 21 16:00:53 2009 +0200
     2.3 @@ -1,9 +1,2 @@
     2.4 -(*  Title:      HOL/Bali/ROOT.ML
     2.5 -    ID:         $Id$
     2.6 -    Author:     David von Oheimb
     2.7 -    Copyright   1999 Technische Universitaet Muenchen
     2.8  
     2.9 -The Hoare logic for Bali.
    2.10 -*)
    2.11 -
    2.12 -use_thys ["AxExample", "AxSound", "AxCompl", "Trans"];
    2.13 +use_thy "Bali"