src/Pure/Isar/args.ML
1999-09-21 ago added bang_facts;
1999-04-16 ago lifted enum;
1998-11-19 ago term_pat vs. prop_pat;
1998-11-17 ago removed trace;
1998-11-16 ago several args parsers;
1998-11-09 ago Concrete argument syntax (for attributes, methods etc.).