doc-src/IsarAdvanced/Classes/Makefile
2008-05-15 ago use Isabelle sty files from Doc/;
2006-10-12 ago added makefile layer
2006-10-10 ago *** empty log message ***
2006-10-10 ago initial draft