| drwxr-xr-x | [up] | |||
| drwxr-xr-x | document | files | ||
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 29324 | Cardinal_Arithmetic.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 37986 | Cardinal_Order_Relation.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 91650 | Cardinal_Order_Relation_Base.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 321 | Cardinals.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 13877 | Constructions_on_Wellorders.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 60926 | Constructions_on_Wellorders_Base.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 5574 | Fun_More.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 8462 | Fun_More_Base.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 18302 | Order_Relation_More.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 8450 | Order_Relation_More_Base.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 10546 | README.txt | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 1735 | TODO.txt | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 1433 | Wellfounded_More.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 7664 | Wellfounded_More_Base.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 5950 | Wellorder_Embedding.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 42749 | Wellorder_Embedding_Base.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 15194 | Wellorder_Relation.thy | file | revisions | annotate |
| -rw-r--r-- | 2013-05-29 18:25 +0200 | 18739 | Wellorder_Relation_Base.thy | file | revisions | annotate |