/lib/
drwxr-xr-x [up]
drwxr-xr-x ProofGeneral
drwxr-xr-x Tools
drwxr-xr-x browser
drwxr-xr-x fonts
drwxr-xr-x html
drwxr-xr-x icons
drwxr-xr-x jedit
drwxr-xr-x logo
drwxr-xr-x scripts
drwxr-xr-x texinputs