src/HOL/Set.thy
changeset 3947 eb707467f8c5
parent 3842 b55686a7b22c
child 4151 5c19cd418c33
     1.1 --- a/src/HOL/Set.thy	Mon Oct 20 11:22:29 1997 +0200
     1.2 +++ b/src/HOL/Set.thy	Mon Oct 20 11:25:39 1997 +0200
     1.3 @@ -9,6 +9,8 @@
     1.4  
     1.5  (** Core syntax **)
     1.6  
     1.7 +global
     1.8 +
     1.9  types
    1.10    'a set
    1.11  
    1.12 @@ -121,6 +123,8 @@
    1.13  
    1.14  (** Rules and definitions **)
    1.15  
    1.16 +local
    1.17 +
    1.18  rules
    1.19  
    1.20    (* Isomorphisms between Predicates and Sets *)