| Tue, 13 Oct 2015 19:22:25 +0200 | nipkow | prefer undecorated typedef | file | diff | annotate |
| Thu, 24 Sep 2015 13:33:42 +0200 | wenzelm | explicit indication of overloaded typedefs; | file | diff | annotate |
| Tue, 15 Sep 2015 17:09:13 +0200 | nipkow | goali -> i | file | diff | annotate |
| Fri, 14 Feb 2014 07:53:46 +0100 | blanchet | merged 'Option.map' and 'Option.map_option' | file | diff | annotate |
| Sun, 05 Jan 2014 18:59:29 +0100 | nipkow | minimized class dependency, updated references | file | diff | annotate |
| Tue, 13 Aug 2013 16:25:47 +0200 | wenzelm | standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find; | file | diff | annotate |
| Thu, 25 Jul 2013 08:57:16 +0200 | haftmann | factored syntactic type classes for bot and top (by Alessandro Coglio) | file | diff | annotate |
| Wed, 03 Jul 2013 16:07:00 +0200 | nipkow | tuned names | file | diff | annotate |
| Thu, 16 May 2013 02:13:42 +0200 | nipkow | merged | file | diff | annotate |
| Thu, 16 May 2013 02:13:23 +0200 | nipkow | finally: acom with pointwise access and update of annotations | file | diff | annotate |
| Wed, 15 May 2013 12:10:39 +0200 | kuncar | stronger reflexivity prover | file | diff | annotate |
| Tue, 30 Apr 2013 03:18:07 +0200 | nipkow | canonical names of classes | file | diff | annotate |
| Sun, 28 Apr 2013 09:10:43 +0200 | nipkow | tuned | file | diff | annotate |
| Fri, 19 Apr 2013 12:04:57 +0200 | nipkow | tuned | file | diff | annotate |
| Thu, 18 Apr 2013 20:18:37 +0200 | nipkow | avoided map_of in def of fun_rep (but still needed for efficient code) | file | diff | annotate |
| Wed, 17 Apr 2013 21:11:01 +0200 | nipkow | complete revision: finally got rid of annoying L-predicate | file | diff | annotate |
| Fri, 12 Apr 2013 08:27:43 +0200 | nipkow | reduced duplication | file | diff | annotate |
| Sun, 10 Mar 2013 18:29:10 +0100 | nipkow | factored out Step | file | diff | annotate |
| Wed, 06 Mar 2013 16:10:56 +0100 | nipkow | major redesign: order instead of preorder, new definition of intervals as quotients | file | diff | annotate |
| Tue, 12 Feb 2013 11:54:29 +0100 | nipkow | tuned top | file | diff | annotate |
| Fri, 25 Jan 2013 16:45:09 +0100 | nipkow | tuned | file | diff | annotate |
| Wed, 26 Sep 2012 02:51:59 +0200 | nipkow | tuned | file | diff | annotate |
| Fri, 21 Sep 2012 13:56:57 +0200 | nipkow | tuned names | file | diff | annotate |
| Mon, 17 Sep 2012 02:25:38 +0200 | nipkow | tuned | file | diff | annotate |
| Sun, 16 Sep 2012 11:50:03 +0200 | nipkow | converted wt into a set, tuned names | file | diff | annotate |
| Fri, 14 Sep 2012 10:01:42 +0200 | nipkow | tuned | file | diff | annotate |
| Thu, 13 Sep 2012 10:28:48 +0200 | nipkow | tuned | file | diff | annotate |
| Fri, 20 Apr 2012 10:46:55 +0200 | nipkow | forgot to add file | file | diff | annotate |
| Fri, 27 Jan 2012 17:02:08 +0100 | nipkow | removed duplicate definitions that made locale inconsistent | file | diff | annotate |
| Thu, 26 Jan 2012 09:52:47 +0100 | nipkow | tuned | file | diff | annotate |
| Sat, 31 Dec 2011 17:53:50 +0100 | nipkow | tuned types | file | diff | annotate |
| Thu, 29 Dec 2011 17:43:40 +0100 | nipkow | tuned | file | diff | annotate |
| Thu, 24 Nov 2011 19:58:37 +0100 | nipkow | Abstract interpretation is now based uniformly on annotated programs, | file | diff | annotate |
| Thu, 20 Oct 2011 09:48:00 +0200 | nipkow | renamed name -> vname | file | diff | annotate |
| Wed, 12 Oct 2011 09:16:30 +0200 | nipkow | separated monotonicity reasoning and defined narrowing with while_option | file | diff | annotate |
| Wed, 28 Sep 2011 09:55:11 +0200 | nipkow | Added Hoare-like Abstract Interpretation | file | diff | annotate |