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