Main;
authorwenzelm
Tue Sep 21 17:30:11 1999 +0200 (1999-09-21)
changeset 756490455fa8cebe
parent 7563 26ca52846865
child 7565 bfa85f429629
Main;
src/HOL/Real/Hyperreal/Zorn.thy
     1.1 --- a/src/HOL/Real/Hyperreal/Zorn.thy	Tue Sep 21 17:29:46 1999 +0200
     1.2 +++ b/src/HOL/Real/Hyperreal/Zorn.thy	Tue Sep 21 17:30:11 1999 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4      Description : Zorn's Lemma -- See lcp's Zorn.thy in ZF
     1.5  *) 
     1.6  
     1.7 -Zorn = Finite +  
     1.8 +Zorn = Main +  
     1.9  
    1.10  constdefs
    1.11    chain     ::  'a set => 'a set set