src/HOL/UNITY/UNITY.thy
changeset 13798 4c1a53627500
parent 13797 baefae13ad37
child 13805 3786b2fd6808
     1.1 --- a/src/HOL/UNITY/UNITY.thy	Thu Jan 30 18:08:09 2003 +0100
     1.2 +++ b/src/HOL/UNITY/UNITY.thy	Fri Jan 31 20:12:44 2003 +0100
     1.3 @@ -8,6 +8,8 @@
     1.4  From Misra, "A Logic for Concurrent Programming", 1994
     1.5  *)
     1.6  
     1.7 +header {*The Basic UNITY Theory*}
     1.8 +
     1.9  theory UNITY = Main:
    1.10  
    1.11  typedef (Program)