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