directory /fig/ @ 384:171a3d587d6e

name size permissions
[up] drwxr-xr-x
file ODandOrdinals.graffle 128677 -rw-r--r--
file ODandOrdinals.svg 13791 -rw-r--r--
file Sets.graffle 125484 -rw-r--r--
file Sets.svg 4894 -rw-r--r--
file address-of-HOD.graffle 74118 -rw-r--r--
file address-of-HOD.pdf 15184 -rw-r--r--
file address-of-HOD.svg 7482 -rw-r--r--
file axiom-dependency.graffle 70221 -rw-r--r--
file axiom-dependency.svg 5010 -rw-r--r--
file axiom-type.graffle 102407 -rw-r--r--
file axiom-type.svg 8544 -rw-r--r--
file ord-od-mapping.graffle 69966 -rw-r--r--
file ord-od-mapping.svg 10695 -rw-r--r--
file set-theory.graffle 92909 -rw-r--r--
file set-theory.svg 5219 -rw-r--r--