doc-src/IsarAdvanced/Classes/style.sty
2008-05-04 ago removed isasymIMPORTS/BEGIN -- already defined in isar.sty;
2006-10-10 ago initial draft