Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory /fig/ @ 364:67580311cc8e
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 ODandOrdinals.graffle
|
128677 | -rw-r--r-- |
 ODandOrdinals.svg
|
13791 | -rw-r--r-- |
|
Sets.graffle
|
125484 | -rw-r--r-- |
 Sets.svg
|
4894 | -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.svg
|
5010 | -rw-r--r-- |
|
axiom-type.graffle
|
102407 | -rw-r--r-- |
 axiom-type.svg
|
8544 | -rw-r--r-- |
|
ord-od-mapping.graffle
|
69966 | -rw-r--r-- |
 ord-od-mapping.svg
|
10695 | -rw-r--r-- |
|
set-theory.graffle
|
92909 | -rw-r--r-- |
 set-theory.svg
|
5219 | -rw-r--r-- |