document/isabellesym.sty
2013-09-06 Christian Urban updated to new isabelle
2013-04-12 chunhan add document
less more (0) tip