src/HOL/Cardinals/Cardinals.thy
author wenzelm
Fri Oct 27 13:50:08 2017 +0200 (23 months ago)
changeset 66924 b4d4027f743b
parent 63167 0909deb8059b
permissions -rw-r--r--
more permissive;
     1 (*  Title:      HOL/Cardinals/Cardinals.thy
     2     Author:     Andrei Popescu, TU Muenchen
     3     Author:     Dmitriy Traytel, TU Muenchen
     4     Copyright   2012
     5 
     6 Theory of ordinals and cardinals.
     7 *)
     8 
     9 section \<open>Theory of Ordinals and Cardinals\<close>
    10 
    11 theory Cardinals
    12 imports Ordinal_Arithmetic Cardinal_Arithmetic Wellorder_Extension
    13 begin
    14 
    15 end