Name | Date | Size | ||
---|---|---|---|---|
.. | 30-Oct-2020 | 56 | ||
AC_in_L.thy | H A D | 30-Oct-2020 | 16.5 KiB | |
Datatype_absolute.thy | H A D | 30-Oct-2020 | 38.4 KiB | |
document/ | H | 25-Jul-2019 | 4 | |
DPow_absolute.thy | H A D | 30-Oct-2020 | 23.7 KiB | |
Formula.thy | H A D | 30-Oct-2020 | 34.4 KiB | |
Internalize.thy | H A D | 30-Oct-2020 | 56 KiB | |
L_axioms.thy | H A D | 30-Oct-2020 | 49.7 KiB | |
MetaExists.thy | H A D | 25-Jul-2019 | 1.1 KiB | |
Normal.thy | H A D | 30-Oct-2020 | 16.9 KiB | |
Rank.thy | H A D | 30-Oct-2020 | 36.6 KiB | |
Rank_Separation.thy | H A D | 30-Oct-2020 | 11 KiB | |
Rec_Separation.thy | H A D | 30-Oct-2020 | 17.1 KiB | |
Reflection.thy | H A D | 30-Oct-2020 | 15.5 KiB | |
Relative.thy | H A D | 30-Oct-2020 | 58.7 KiB | |
Satisfies_absolute.thy | H A D | 30-Oct-2020 | 43.3 KiB | |
Separation.thy | H A D | 30-Oct-2020 | 12.6 KiB | |
Wellorderings.thy | H A D | 30-Oct-2020 | 8.9 KiB | |
WF_absolute.thy | H A D | 30-Oct-2020 | 12.7 KiB | |
WFrec.thy | H A D | 25-Jul-2019 | 14.1 KiB |