src/Pure/Isar/args.ML
2000-02-13 wenzelm 2000-02-13 attrib: keyword_symid; goal_spec;
2000-01-05 wenzelm 2000-01-05 removed pats;
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.).