directory /fig/ @ 1464:484f83b04b5d default tip

name size permissions
[up] drwxr-xr-x
file ODandOrdinals.graffle 128677 -rw-r--r--
file ODandOrdinals.pdf 17624 -rw-r--r--
file ODandOrdinals.svg 13791 -rw-r--r--
file Sets.graffle 125484 -rw-r--r--
file Sets.pdf 31555 -rw-r--r--
file Sets.svg 4894 -rw-r--r--
file Sets.txt 21 -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.pdf 15516 -rw-r--r--
file axiom-dependency.svg 5010 -rw-r--r--
file axiom-type.graffle 102407 -rw-r--r--
file axiom-type.pdf 27979 -rw-r--r--
file axiom-type.svg 8544 -rw-r--r--
file ord-od-mapping.graffle 69966 -rw-r--r--
file ord-od-mapping.pdf 17510 -rw-r--r--
file ord-od-mapping.svg 10695 -rw-r--r--
file set-theory.graffle 92909 -rw-r--r--
file set-theory.pdf 12537 -rw-r--r--
file set-theory.svg 5219 -rw-r--r--
file zf-record.html 3349 -rw-r--r--
file zf-record.ind 3176 -rw-r--r--