drwxr-xr-x |
|
|
[up]
|
|
drwxr-xr-x |
|
|
AC
|
files
|
drwxr-xr-x |
|
|
Coind
|
files
|
drwxr-xr-x |
|
|
Constructible
|
files
|
drwxr-xr-x |
|
|
IMP
|
files
|
drwxr-xr-x |
|
|
Induct
|
files
|
drwxr-xr-x |
|
|
Resid
|
files
|
drwxr-xr-x |
|
|
Tools
|
files
|
drwxr-xr-x |
|
|
UNITY
|
files
|
drwxr-xr-x |
|
|
document
|
files
|
drwxr-xr-x |
|
|
ex
|
files
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
2211 |
AC.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
18105 |
Arith.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
23129 |
ArithSimp.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
25820 |
Bin.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
4973 |
Bool.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
42779 |
Cardinal.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
37167 |
CardinalArith.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
9479 |
Cardinal_AC.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
3953 |
Datatype.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
13502 |
Epsilon.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
9412 |
EquivClass.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
7263 |
Finite.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
11047 |
Fixedpt.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
4150 |
Inductive.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
4907 |
InfDatatype.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
33613 |
Int.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
65027 |
IntDiv.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
42187 |
List.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
9908 |
Nat.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
14012 |
OrdQuant.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
26594 |
Order.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
22028 |
OrderArith.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
38443 |
OrderType.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
26954 |
Ordinal.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
19940 |
Perm.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
9937 |
QPair.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
6856 |
QUniv.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
8395 |
ROOT
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
5748 |
Sum.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
14184 |
Trancl.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
27294 |
Univ.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
15150 |
WF.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
2510 |
ZF.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
45 |
ZFC.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
27276 |
ZF_Base.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
20080 |
Zorn.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
7286 |
arith_data.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
31221 |
equalities.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
22611 |
func.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
4732 |
ind_syntax.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
11367 |
int_arith.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
6051 |
pair.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
1733 |
simpdata.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-09-12 13:10 +0200 |
19390 |
upair.thy
|
file |
revisions |
annotate
|