| 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 |
| Thu, 19 Jan 2006 21:22:27 +0100 | wenzelm | * ML/Isar: theory setup has type (theory -> theory); | file | diff | annotate |
| Sun, 15 Jan 2006 20:04:05 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 15 Jan 2006 20:00:59 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 15 Jan 2006 19:58:57 +0100 | wenzelm | * Classical: optional weight for attributes; | file | diff | annotate |
| Sat, 14 Jan 2006 17:20:51 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 14 Jan 2006 17:15:24 +0100 | wenzelm | * ML/Isar: simplified treatment of user-level errors; | file | diff | annotate |
| Fri, 13 Jan 2006 14:43:09 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 10 Jan 2006 19:36:59 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 10 Jan 2006 19:33:42 +0100 | wenzelm | * ML: generic context, data, attributes; | file | diff | annotate |
| Sat, 07 Jan 2006 12:26:23 +0100 | wenzelm | * Provers/induct: improved simultaneous goals -- nested cases; | file | diff | annotate |
| Fri, 06 Jan 2006 15:18:19 +0100 | wenzelm | Pure/Isar: Toplevel.theory_to_proof admits transactions that modify the theory; | file | diff | annotate |
| Wed, 04 Jan 2006 01:04:59 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 04 Jan 2006 01:00:52 +0100 | wenzelm | * Pure/Isar: Toplevel.theory_theory_to_proof; | file | diff | annotate |