| Mon, 26 Oct 2009 20:02:37 +0100 | wenzelm | tuned white space; | file | diff | annotate |
| Fri, 23 Oct 2009 18:59:24 +0200 | blanchet | continuation of Nitpick's integration into Isabelle; | file | diff | annotate |
| Wed, 23 Sep 2009 14:00:12 +0200 | haftmann | Code_Eval(uation) | file | diff | annotate |
| Tue, 14 Jul 2009 16:27:32 +0200 | haftmann | prefer code_inline over code_unfold; use code_unfold_post where appropriate | file | diff | annotate |
| Tue, 14 Jul 2009 10:54:04 +0200 | haftmann | code attributes use common underscore convention | file | diff | annotate |
| Tue, 07 Jul 2009 17:39:51 +0200 | nipkow | renamed lemmas: nat_xyz/int_xyz -> xyz_nat/xyz_int | file | diff | annotate |
| Wed, 17 Jun 2009 16:56:15 -0700 | huffman | merged | file | diff | annotate |
| Wed, 17 Jun 2009 16:55:01 -0700 | huffman | new GCD library, courtesy of Jeremy Avigad | file | diff | annotate |
| Tue, 16 Jun 2009 16:26:40 +0200 | haftmann | denominator should not be zero | file | diff | annotate |
| Mon, 15 Jun 2009 16:13:03 +0200 | haftmann | hide constant Quickcheck.random | file | diff | annotate |
| Tue, 19 May 2009 13:57:32 +0200 | haftmann | moved Code_Index, Random and Quickcheck before Main | file | diff | annotate |
| Mon, 11 May 2009 15:18:32 +0200 | haftmann | tuned interface of Lin_Arith | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
| Mon, 02 Mar 2009 16:53:55 +0100 | nipkow | name changes | file | diff | annotate |