| Fri, 05 May 2006 21:59:39 +0200 | wenzelm | * Library: theory Accessible_Part has been move to main HOL. | file | diff | annotate |
| Sun, 30 Apr 2006 22:49:59 +0200 | wenzelm | * Pure: axclasses now purely definitional; | file | diff | annotate |
| Sun, 09 Apr 2006 14:31:37 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Sat, 08 Apr 2006 22:51:06 +0200 | wenzelm | refined 'abbreviation'; | file | diff | annotate |
| Fri, 17 Mar 2006 10:04:27 +0100 | ballarin | Renamed setsum_mult to setsum_right_distrib. | file | diff | annotate |
| Fri, 17 Mar 2006 09:34:23 +0100 | haftmann | renamed op < <= to Orderings.less(_eq) | file | diff | annotate |
| Tue, 14 Mar 2006 22:06:29 +0100 | wenzelm | print_statement; | file | diff | annotate |
| Tue, 14 Mar 2006 16:29:29 +0100 | wenzelm | Pure: no_translations; | file | diff | annotate |
| Mon, 13 Mar 2006 10:41:04 +0100 | schirmer | entry for Library/AssocList | file | diff | annotate |
| Fri, 10 Mar 2006 19:49:58 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 10 Mar 2006 15:33:48 +0100 | haftmann | renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc. | file | diff | annotate |
| Wed, 08 Mar 2006 21:40:46 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 08 Mar 2006 18:37:25 +0100 | wenzelm | Isar/method: goal restriction; | file | diff | annotate |
| Wed, 08 Mar 2006 10:06:31 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 16 Feb 2006 21:15:38 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 16 Feb 2006 19:39:02 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 16 Feb 2006 19:10:47 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 16 Feb 2006 18:39:48 +0100 | wenzelm | * Isar/locales: new derived specification elements 'definition', 'abbreviation', 'axiomatization'; | file | diff | annotate |
| Sun, 12 Feb 2006 21:34:28 +0100 | wenzelm | * ML/Pure/General: improved join interface for tables; | file | diff | annotate |
| Sun, 12 Feb 2006 21:34:26 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 10 Feb 2006 02:22:57 +0100 | wenzelm | * ML/Pure: generic Args/Attrib syntax everywhere; | file | diff | annotate |
| Wed, 08 Feb 2006 15:17:54 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 02 Feb 2006 16:37:10 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 02 Feb 2006 16:31:28 +0100 | wenzelm | * Isar: 'obtains' element; | file | diff | annotate |
| Tue, 31 Jan 2006 00:51:15 +0100 | wenzelm | * Pure: 'advanced' translation functions use Context.generic instead of just theory; | file | diff | annotate |
| Sat, 28 Jan 2006 17:28:48 +0100 | wenzelm | Pure/Isar: (un)folded, (un)fold, unfolding support | file | diff | annotate |
| Sat, 21 Jan 2006 23:07:26 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 21 Jan 2006 23:02:30 +0100 | wenzelm | * ML: simplified type attribute; | file | diff | annotate |