| Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | file | diff | annotate |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Thu, 27 Aug 2015 21:19:48 +0200 | haftmann | standardized some occurences of ancient "split" alias | file | diff | annotate |
| Thu, 27 Aug 2015 13:07:45 +0200 | haftmann | more lemmas on sorting and multisets (due to Thomas Sewell) | file | diff | annotate |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sat, 18 Jul 2015 20:47:08 +0200 | wenzelm | prefer tactics with explicit context; | file | diff | annotate |
| Thu, 25 Jun 2015 23:33:47 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Mon, 22 Jun 2015 11:15:23 +0200 | nipkow | modernized name | file | diff | annotate |
| Thu, 30 Apr 2015 16:07:43 +0200 | wenzelm | more formal source, more PIDE markup; | file | diff | annotate |
| Thu, 30 Apr 2015 15:58:15 +0200 | wenzelm | tuned -- avoid odd rebinding of "ctxt" and "context"; | file | diff | annotate |
| Thu, 30 Apr 2015 15:41:53 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 29 Apr 2015 23:26:11 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 17 Mar 2015 09:22:17 +0100 | nipkow | added lemmas | file | diff | annotate |
| Wed, 04 Mar 2015 19:53:18 +0100 | wenzelm | tuned signature -- prefer qualified names; | file | diff | annotate |
| Wed, 11 Feb 2015 13:58:51 +0100 | Andreas Lochbihler | add parametricity rules for monotone, fun_lub, and fun_ord | file | diff | annotate |