directory /tex/ @ 9:2652bc4fc17f

name size permissions
[up] drwxr-xr-x
dir. abstract/ drwxr-xr-x
dir. intro/ drwxr-xr-x
dir. spec/ drwxr-xr-x
file abstract.tex 852 -rw-r--r--
file agda.tex 4713 -rw-r--r--
file cbc.tex 2347 -rw-r--r--
file future.tex 738 -rw-r--r--
file hoare.tex 1576 -rw-r--r--
file intro.tex 1611 -rw-r--r--
file rbtree.tex 810 -rw-r--r--
file spec.tex 2543 -rw-r--r--