| Sat, 09 Aug 2008 22:43:46 +0200 | unified Args.T with OuterLex.token, renamed some operations; | file | diff | annotate |
| Wed, 23 Jan 2008 22:57:07 +0100 | recovered #der example without using val it; | file | diff | annotate |
| Tue, 22 Jan 2008 11:37:28 +0100 | avoid 'it' in ML expressions | file | diff | annotate |
| Thu, 31 May 2007 14:24:27 +0200 | tuned oracle setup; | file | diff | annotate |
| Fri, 15 Dec 2006 17:51:07 +0100 | tracing instead of warning | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:06 +0100 | sane ERROR handling; | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:14 +0200 | new type-safe interface; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | migrated theory headers to new format | file | diff | annotate |
| Tue, 24 May 2005 11:19:50 +0200 | oracle example converted to Isar | file | diff | annotate |
| Thu, 09 Oct 1997 14:59:36 +0200 | removed declIffOracle; | file | diff | annotate |
| Tue, 05 Mar 1996 11:38:41 +0100 | Example of declaring oracles | file | diff | annotate |