doc-src/Functions/Makefile
2011-05-01 wenzelm 2011-05-01 eliminated copies of isabelle style files;
2009-03-03 haftmann 2009-03-03 more canonical directory structure of manuals