wenzelm [Fri, 24 Sep 2010 16:17:59 +0200] rev 39689
clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees;
tuned;
wenzelm [Fri, 24 Sep 2010 15:56:29 +0200] rev 39688
updated generated file;
wenzelm [Fri, 24 Sep 2010 15:53:13 +0200] rev 39687
modernized structure Ord_List;
wenzelm [Fri, 24 Sep 2010 15:37:36 +0200] rev 39686
isatest: indicate Isabelle version;
wenzelm [Fri, 24 Sep 2010 15:30:30 +0200] rev 39685
actually handle Type.TYPE_MATCH, not arbitrary exceptions;
wenzelm [Fri, 24 Sep 2010 15:14:55 +0200] rev 39684
merged
haftmann [Fri, 24 Sep 2010 15:11:38 +0200] rev 39683
prefer typewrite tag over raw latex environment
haftmann [Fri, 24 Sep 2010 15:11:38 +0200] rev 39682
avoid fragile tranclp syntax; corrected resolution; corrected typo
wenzelm [Fri, 24 Sep 2010 14:57:17 +0200] rev 39681
merged
haftmann [Fri, 24 Sep 2010 14:56:16 +0200] rev 39680
use typewriter tag instead of bare environment