src/HOL/Tools/BNF/bnf_gfp_grec.ML
Mon, 24 Oct 2016 20:32:02 +0200 blanchet more accurate error message
Mon, 12 Sep 2016 23:17:55 +0200 blanchet make (co)induct component of 'fp_sugar' optional, for the benefit of nonuniform (co)datatypes and other similar extensions
Sun, 11 Sep 2016 23:32:45 +0200 blanchet generalized code towards nonuniform (co)datatypes
Thu, 08 Sep 2016 10:16:37 +0200 blanchet tuning
Tue, 06 Sep 2016 11:21:21 +0200 blanchet extended ML signature
Tue, 23 Aug 2016 15:19:32 +0200 traytel tuned signature
Sun, 14 Aug 2016 12:26:09 +0200 blanchet tuned message
Thu, 23 Jun 2016 11:01:14 +0200 wenzelm tuned signature;
Tue, 21 Jun 2016 17:35:45 +0200 wenzelm tuned;
Thu, 02 Jun 2016 16:49:44 +0200 wenzelm eliminated pointless alias (no warning for duplicates);
Tue, 31 May 2016 10:53:10 +0200 blanchet error message
Mon, 30 May 2016 14:15:44 +0200 wenzelm allow 'for' fixes for multi_specs;
Thu, 28 Apr 2016 09:43:11 +0200 wenzelm support 'assumes' in specifications, e.g. 'definition', 'inductive';
Thu, 07 Apr 2016 17:56:26 +0200 traytel (un)folds are not legacy
Tue, 05 Apr 2016 09:54:17 +0200 traytel single uniqueness theorems for map, (un)fold, (co)rec for mutual (co)datatypes
Tue, 29 Mar 2016 19:17:05 +0200 blanchet tuning
Mon, 28 Mar 2016 12:05:47 +0200 blanchet avoid 'prove_sorry' for unreliable tactics
Mon, 28 Mar 2016 12:05:47 +0200 blanchet tuning
Mon, 28 Mar 2016 12:05:47 +0200 blanchet added '_legacy' suffixes
Wed, 23 Mar 2016 16:37:13 +0100 blanchet sorted out type issue with sort constraints
Tue, 22 Mar 2016 12:39:37 +0100 blanchet moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle
less more (0) tip