directory /scripts/set/ @ 2983:145d5acfc68b

name size permissions
[up] drwxr-xr-x
file Makefile.in 1373 -rw-r--r--
file complement.m 1362 -rw-r--r--
file create_set.m 1428 -rw-r--r--
file intersection.m 1509 -rw-r--r--
file union.m 1241 -rw-r--r--