directory /scripts/set/ @ 2992:53b38bf1d443

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--