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