Sat, 01 Oct 2016 17:16:35 +0200 | wenzelm | clarified lfp/gfp statements and proofs; | file | diff | annotate |
Tue, 06 Sep 2016 21:09:18 +0200 | wenzelm | clarified proof: save 1-2s CPU time; | file | diff | annotate |
Fri, 05 Aug 2016 18:14:28 +0200 | wenzelm | misc tuning and modernization; | file | diff | annotate |
Thu, 07 Jan 2016 15:53:39 +0100 | wenzelm | more uniform treatment of package internals; | file | diff | annotate |
Mon, 16 Nov 2015 17:00:11 +0100 | Andreas Lochbihler | export internal definition | file | diff | annotate |
Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | file | diff | annotate |
Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |