Wed, 17 Mar 1999 16:33:47 +0100 | wenzelm | Theory.sign_of; | file | diff | annotate |
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 |