Fun-Paper/document/sigplanconf.cls
2011-06-15 Christian Urban added a stub for function paper; "isabelle make fnpaper"
less more (0) tip