| drwxr-xr-x | [up] | |||
| drwxr-xr-x | document | files | ||
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 17858 | AC_in_L.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 26198 | DPow_absolute.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 42417 | Datatype_absolute.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 37900 | Formula.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 61971 | Internalize.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 54688 | L_axioms.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 1138 | MetaExists.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 19225 | Normal.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 40314 | Rank.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 11776 | Rank_Separation.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 18344 | Rec_Separation.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 16518 | Reflection.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 67235 | Relative.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 46931 | Satisfies_absolute.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 13588 | Separation.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 13869 | WF_absolute.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 15636 | WFrec.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-12-17 21:12 +0100 | 10239 | Wellorderings.thy | file | revisions | annotate |