wenzelm [Mon, 05 May 2008 15:23:21 +0200] rev 26782
converted generic.tex to Thy/Generic.thy;
wenzelm [Sun, 04 May 2008 21:34:44 +0200] rev 26781
removed isasymIMPORTS/BEGIN -- already defined in isar.sty;
wenzelm [Sat, 03 May 2008 13:36:11 +0200] rev 26780
tuned syntax: props and facts;
wenzelm [Sat, 03 May 2008 13:26:08 +0200] rev 26779
converted refcard.tex to Thy/Quick_Reference.thy;
wenzelm [Sat, 03 May 2008 13:25:27 +0200] rev 26778
added \isasymdash;
wenzelm [Fri, 02 May 2008 22:49:53 +0200] rev 26777
misc tuning;
wenzelm [Fri, 02 May 2008 22:48:51 +0200] rev 26776
updated generated file;
wenzelm [Fri, 02 May 2008 22:47:58 +0200] rev 26775
use underscore for underscore;
wenzelm [Fri, 02 May 2008 22:47:23 +0200] rev 26774
output_entity: added \mbox{} to prevent hyphenation;
urbanc [Fri, 02 May 2008 22:43:14 +0200] rev 26773
added more infrastructure for fresh_star