src/Pure/Isar/args.ML
Thu, 19 Nov 1998 11:45:26 +0100 wenzelm term_pat vs. prop_pat;
Tue, 17 Nov 1998 14:10:40 +0100 wenzelm removed trace;
Mon, 16 Nov 1998 11:02:07 +0100 wenzelm several args parsers;
Mon, 09 Nov 1998 15:32:02 +0100 wenzelm Concrete argument syntax (for attributes, methods etc.).
less more (0) tip