| Thu, 02 Apr 2009 15:07:00 +0200 | wenzelm | some more HOL-Nominal news; | file | diff | annotate |
| Thu, 02 Apr 2009 14:09:41 +0200 | wenzelm | some HOL-Nominal news; | file | diff | annotate |
| Thu, 02 Apr 2009 14:02:34 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 02 Apr 2009 13:41:02 +0200 | wenzelm | misc cleanup and rearrangements for Isabelle2009 release; | file | diff | annotate |
| Fri, 27 Mar 2009 10:12:55 +0100 | haftmann | merged | file | diff | annotate |
| Fri, 27 Mar 2009 10:05:13 +0100 | haftmann | dropped toy example Code_Antiq | file | diff | annotate |
| Thu, 26 Mar 2009 19:24:21 +0100 | wenzelm | interpretation/interpret: prefixes are mandatory by default; | file | diff | annotate |
| Tue, 24 Mar 2009 14:08:13 +0100 | nipkow | NEWS: [arith] | file | diff | annotate |
| Fri, 20 Mar 2009 17:12:37 +0100 | wenzelm | Disposed old declarations, tactics, tactic combinators that refer to the simpset or claset of an implicit theory; | file | diff | annotate |
| Thu, 19 Mar 2009 11:20:22 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 16 Mar 2009 15:58:41 -0700 | huffman | document new additions to HOL/Library | file | diff | annotate |
| Mon, 16 Mar 2009 17:51:07 +0100 | wenzelm | simplifief 'method_setup' command; | file | diff | annotate |
| Sun, 15 Mar 2009 16:59:17 +0100 | wenzelm | merged | file | diff | annotate |
| Sat, 14 Mar 2009 17:52:53 +0100 | immler | updated NEWS | file | diff | annotate |
| Sun, 15 Mar 2009 15:59:45 +0100 | wenzelm | simplified attribute and method setup; | file | diff | annotate |