| Thu, 09 Oct 1997 14:59:36 +0200 | wenzelm | removed declIffOracle; | file | diff | annotate |
| Thu, 11 Jul 1996 15:02:42 +0200 | paulson | Modified to reject certain inputs -- illustrates error handling | file | diff | annotate |
| Tue, 05 Mar 1996 11:38:41 +0100 | paulson | Example of declaring oracles | file | diff | annotate |