src/Pure/Isar/spec_parse.ML
Sat, 09 Aug 2008 22:43:58 +0200 wenzelm unified Args.T with OuterLex.token, renamed some operations;
Sat, 28 Jun 2008 15:17:26 +0200 wenzelm tuned;
Thu, 20 Mar 2008 16:04:30 +0100 wenzelm Facts.Named: include position;
Wed, 19 Mar 2008 22:27:57 +0100 wenzelm renamed datatype thmref to Facts.ref, tuned interfaces;
Mon, 28 Jan 2008 22:27:19 +0100 wenzelm added ::: / @@@ scanner combinators;
Fri, 19 Oct 2007 12:21:32 +0200 ballarin Interpretation equations may have name and/or attribute.
Sat, 06 Oct 2007 16:50:09 +0200 wenzelm added class_expr;
Fri, 27 Jul 2007 22:19:49 +0200 wenzelm attribs: not cut (!!!);
Fri, 27 Jul 2007 21:55:23 +0200 wenzelm xthm: added [[declaration]] syntax (abbreviates dummy_thm [att]);
Mon, 23 Jul 2007 13:48:30 +0200 ballarin interpretation: equations are propositions not pairs of terms;
Fri, 13 Apr 2007 10:01:43 +0200 ballarin Experimental interpretation code for definitions.
Fri, 19 Jan 2007 22:08:12 +0100 wenzelm Parsers for complex specifications (material from outer_parse.ML);
less more (0) tip