doc-src/ZF/isabellesym.sty
2006-01-11 wenzelm 2006-01-11 updated;
2005-09-20 wenzelm 2005-09-20 updated;
2005-08-19 wenzelm 2005-08-19 updated;
2005-06-09 wenzelm 2005-06-09 updated;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2003-08-19 paulson 2003-08-19 For the Isar version of the ZF logics manual