Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory /src/ @ 936:f160556a7c9a
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 BAlgbra.agda
|
6586 | -rw-r--r-- |
|
LEMC.agda
|
7984 | -rw-r--r-- |
|
OD.agda
|
29931 | -rw-r--r-- |
|
ODC.agda
|
5093 | -rw-r--r-- |
|
ODUtil.agda
|
10247 | -rw-r--r-- |
|
OPair.agda
|
9007 | -rw-r--r-- |
|
OrdUtil.agda
|
15720 | -rw-r--r-- |
|
Ordinals.agda
|
2562 | -rw-r--r-- |
|
PFOD.agda
|
4724 | -rw-r--r-- |
|
Topology.agda
|
3253 | -rw-r--r-- |
|
VL.agda
|
2596 | -rw-r--r-- |
|
cardinal.agda
|
3045 | -rw-r--r-- |
|
filter.agda
|
11080 | -rw-r--r-- |
|
generic-filter.agda
|
12381 | -rw-r--r-- |
|
logic.agda
|
1652 | -rw-r--r-- |
|
nat.agda
|
1679 | -rw-r--r-- |
|
ordinal.agda
|
16592 | -rw-r--r-- |
|
partfunc.agda
|
10728 | -rw-r--r-- |
|
zf.agda
|
3760 | -rw-r--r-- |
|
zfc.agda
|
1202 | -rw-r--r-- |
|
zorn.agda
|
98844 | -rw-r--r-- |
|
zorn1.agda
|
46390 | -rw-r--r-- |