Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 16 | ||
AC/ | H | 25-Jul-2019 | 18 | |
AC.thy | H A D | 25-Jul-2019 | 1.9 KiB | |
Arith.thy | H A D | 25-Jul-2019 | 16.5 KiB | |
arith_data.ML | H A D | 30-Oct-2020 | 9.9 KiB | |
ArithSimp.thy | H A D | 25-Jul-2019 | 18.8 KiB | |
Bin.thy | H A D | 30-Oct-2020 | 23.2 KiB | |
Bool.thy | H A D | 25-Jul-2019 | 4.3 KiB | |
Cardinal.thy | H A D | 25-Jul-2019 | 39.2 KiB | |
Cardinal_AC.thy | H A D | 25-Jul-2019 | 9 KiB | |
CardinalArith.thy | H A D | 25-Jul-2019 | 34.7 KiB | |
Coind/ | H | 25-Jul-2019 | 9 | |
Constructible/ | H | 30-Oct-2020 | 21 | |
Datatype.thy | H A D | 30-Oct-2020 | 4 KiB | |
document/ | H | 25-Jul-2019 | 3 | |
Epsilon.thy | H A D | 25-Jul-2019 | 12.1 KiB | |
equalities.thy | H A D | 30-Oct-2020 | 28.2 KiB | |
EquivClass.thy | H A D | 25-Jul-2019 | 7.9 KiB | |
ex/ | H | 25-Jul-2019 | 13 | |
Finite.thy | H A D | 25-Jul-2019 | 6.5 KiB | |
Fixedpt.thy | H A D | 25-Jul-2019 | 9.6 KiB | |
func.thy | H A D | 30-Oct-2020 | 19.5 KiB | |
IMP/ | H | 25-Jul-2019 | 6 | |
ind_syntax.ML | H A D | 25-Jul-2019 | 4.6 KiB | |
Induct/ | H | 25-Jul-2019 | 18 | |
Inductive.thy | H A D | 25-Jul-2019 | 4 KiB | |
InfDatatype.thy | H A D | 25-Jul-2019 | 4.6 KiB | |
Int.thy | H A D | 25-Jul-2019 | 30 KiB | |
int_arith.ML | H A D | 25-Jul-2019 | 12.5 KiB | |
IntDiv.thy | H A D | 25-Jul-2019 | 58.7 KiB | |
List.thy | H A D | 30-Oct-2020 | 37.7 KiB | |
Nat.thy | H A D | 30-Oct-2020 | 8.8 KiB | |
Order.thy | H A D | 25-Jul-2019 | 24.1 KiB | |
OrderArith.thy | H A D | 25-Jul-2019 | 18.8 KiB | |
OrderType.thy | H A D | 25-Jul-2019 | 35.2 KiB | |
Ordinal.thy | H A D | 30-Oct-2020 | 23.2 KiB | |
OrdQuant.thy | H A D | 25-Jul-2019 | 11.8 KiB | |
pair.thy | H A D | 25-Jul-2019 | 5.3 KiB | |
Perm.thy | H A D | 25-Jul-2019 | 17.3 KiB | |
QPair.thy | H A D | 25-Jul-2019 | 8.5 KiB | |
QUniv.thy | H A D | 25-Jul-2019 | 6.4 KiB | |
Resid/ | H | 25-Jul-2019 | 7 | |
ROOT | H A D | 25-Jul-2019 | 8.2 KiB | |
simpdata.ML | H A D | 25-Jul-2019 | 1.8 KiB | |
Sum.thy | H A D | 25-Jul-2019 | 5 KiB | |
Tools/ | H | 30-Oct-2020 | 10 | |
Trancl.thy | H A D | 25-Jul-2019 | 11.2 KiB | |
UNITY/ | H | 25-Jul-2019 | 22 | |
Univ.thy | H A D | 25-Jul-2019 | 24.9 KiB | |
upair.thy | H A D | 25-Jul-2019 | 17.8 KiB | |
WF.thy | H A D | 30-Oct-2020 | 13 KiB | |
ZF.thy | H A D | 25-Jul-2019 | 2.2 KiB | |
ZF_Base.thy | H A D | 30-Oct-2020 | 23.1 KiB | |
ZFC.thy | H A D | 25-Jul-2019 | 45 | |
Zorn.thy | H A D | 25-Jul-2019 | 18.7 KiB |