lib/texinputs/isabellesym.sty
2000-10-11 wenzelm 2000-10-11 \isamath and \isatext: more abstract implementation of symbols;
2000-09-15 wenzelm 2000-09-15 added lparr, rparr; tuned some symbols;
2000-09-15 wenzelm 2000-09-15 improved many symbols; document package dependencies;
2000-09-03 wenzelm 2000-09-03 GPLed;
2000-08-29 wenzelm 2000-08-29 improved spacing of Sum, Prod, integral; tuned;
2000-08-24 wenzelm 2000-08-24 more symbols;
2000-04-12 wenzelm 2000-04-12 tuned \isasymlbrace;
2000-04-06 wenzelm 2000-04-06 tuned \isasymlbrace;
2000-04-06 wenzelm 2000-04-06 added \isasymlbrace, \isasymrbrace, \isasymtop;
2000-02-04 wenzelm 2000-02-04 tuned syms;
2000-01-27 oheimb 2000-01-27 *** empty log message ***
1999-10-30 wenzelm 1999-10-30 definitions of many Isabelle symbols;