src/Pure/Isar/element.ML
Fri, 13 Jan 2006 01:13:08 +0100 wenzelm uniform handling of fixes;
Sat, 07 Jan 2006 12:26:31 +0100 wenzelm pretty_locale: backquote notes;
Wed, 09 Nov 2005 16:26:55 +0100 wenzelm Explicit data structures for some Isar language elements.
less more (0) tip