Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory /fig/ @ 321:a81824502ebd
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 ODandOrdinals.graffle
|
116516 | -rw-r--r-- |
 ODandOrdinals.svg
|
12973 | -rw-r--r-- |
|
Sets.graffle
|
115791 | -rw-r--r-- |
 Sets.svg
|
4894 | -rw-r--r-- |
|
axiom-dependency.graffle
|
70221 | -rw-r--r-- |
 axiom-dependency.svg
|
5010 | -rw-r--r-- |
|
axiom-type.graffle
|
99112 | -rw-r--r-- |
 axiom-type.svg
|
8307 | -rw-r--r-- |
|
ord-od-mapping.graffle
|
74280 | -rw-r--r-- |
 ord-od-mapping.svg
|
11197 | -rw-r--r-- |
|
set-theory.graffle
|
92399 | -rw-r--r-- |
 set-theory.svg
|
5208 | -rw-r--r-- |