/Fun-Paper/document/ Nominal2-Isabelle2016-1 tip
drwxr-xr-x [up]
-rw-r--r-- 2018-04-19 13:58 +0100 1920 root.tex
-rw-r--r-- 2018-04-19 13:58 +0100 35599 sigplanconf.cls