| Tue, 22 Jan 2008 11:37:28 +0100 | haftmann | avoid 'it' in ML expressions | file | diff | annotate |
| Thu, 31 May 2007 14:24:27 +0200 | wenzelm | tuned oracle setup; | file | diff | annotate |
| Fri, 15 Dec 2006 17:51:07 +0100 | webertj | tracing instead of warning | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:06 +0100 | wenzelm | sane ERROR handling; | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:14 +0200 | wenzelm | new type-safe interface; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Tue, 24 May 2005 11:19:50 +0200 | paulson | oracle example converted to Isar | file | diff | annotate |
| Thu, 09 Oct 1997 14:59:36 +0200 | wenzelm | removed declIffOracle; | file | diff | annotate |
| Tue, 05 Mar 1996 11:38:41 +0100 | paulson | Example of declaring oracles | file | diff | annotate |