src/Pure/ML/ml_thms.ML
Tue, 21 Dec 2010 21:05:50 +0100 wenzelm more robust ML antiquotations -- allow original tokens without adjacent whitespace;
Mon, 31 May 2010 21:06:57 +0200 wenzelm modernized some structure names, keeping a few legacy aliases;
Sat, 15 May 2010 23:16:32 +0200 wenzelm refer directly to structure Keyword and Parse;
Sun, 25 Apr 2010 15:52:03 +0200 wenzelm modernized naming conventions of main Isar proof elements;
Sun, 07 Feb 2010 18:04:48 +0100 wenzelm simplified interface for ML antiquotations, struct_name is always "Isabelle";
Sun, 15 Nov 2009 19:45:05 +0100 wenzelm eliminated obsolete thm position tags;
Sun, 08 Nov 2009 16:30:41 +0100 wenzelm adapted Generic_Data, Proof_Data;
Wed, 04 Mar 2009 23:05:32 +0100 wenzelm ML antiquotation @{lemma}: allow 'and' list, proper simultaneous type-checking;
Wed, 21 Jan 2009 23:21:44 +0100 wenzelm removed Ids;
Thu, 14 Aug 2008 16:52:56 +0200 wenzelm ML_Context.add_antiq: pass position;
Sat, 09 Aug 2008 22:43:46 +0200 wenzelm unified Args.T with OuterLex.token, renamed some operations;
Thu, 10 Jul 2008 13:37:34 +0200 wenzelm @{lemma}: allow terminal method, close derivation unless (open) mode is given;
Sat, 28 Jun 2008 22:52:07 +0200 wenzelm Isar theorem values within ML.
less more (0) tip