| 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 |