Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory /fig/ @ 1354:3e14418230bc
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 ODandOrdinals.graffle
|
128677 | -rw-r--r-- |
|
ODandOrdinals.pdf
|
17624 | -rw-r--r-- |
 ODandOrdinals.svg
|
13791 | -rw-r--r-- |
|
Sets.graffle
|
125484 | -rw-r--r-- |
|
Sets.pdf
|
31555 | -rw-r--r-- |
 Sets.svg
|
4894 | -rw-r--r-- |
|
Sets.txt
|
21 | -rw-r--r-- |
|
address-of-HOD.graffle
|
74118 | -rw-r--r-- |
|
address-of-HOD.pdf
|
15184 | -rw-r--r-- |
 address-of-HOD.svg
|
7482 | -rw-r--r-- |
|
axiom-dependency.graffle
|
70221 | -rw-r--r-- |
|
axiom-dependency.pdf
|
15516 | -rw-r--r-- |
 axiom-dependency.svg
|
5010 | -rw-r--r-- |
|
axiom-type.graffle
|
102407 | -rw-r--r-- |
|
axiom-type.pdf
|
27979 | -rw-r--r-- |
 axiom-type.svg
|
8544 | -rw-r--r-- |
|
ord-od-mapping.graffle
|
69966 | -rw-r--r-- |
|
ord-od-mapping.pdf
|
17510 | -rw-r--r-- |
 ord-od-mapping.svg
|
10695 | -rw-r--r-- |
|
set-theory.graffle
|
92909 | -rw-r--r-- |
|
set-theory.pdf
|
12537 | -rw-r--r-- |
 set-theory.svg
|
5219 | -rw-r--r-- |
|
zf-record.html
|
3349 | -rw-r--r-- |
|
zf-record.ind
|
3176 | -rw-r--r-- |