directory /fig/ @ 334:ba3ebb9a16c6 release

name size permissions
[up] drwxr-xr-x
file ODandOrdinals.graffle 116516 -rw-r--r--
file ODandOrdinals.svg 12973 -rw-r--r--
file Sets.graffle 115791 -rw-r--r--
file Sets.svg 4894 -rw-r--r--
file axiom-dependency.graffle 70221 -rw-r--r--
file axiom-dependency.svg 5010 -rw-r--r--
file axiom-type.graffle 99112 -rw-r--r--
file axiom-type.svg 8307 -rw-r--r--
file ord-od-mapping.graffle 74280 -rw-r--r--
file ord-od-mapping.svg 11197 -rw-r--r--
file set-theory.graffle 92399 -rw-r--r--
file set-theory.svg 5208 -rw-r--r--