| Fri, 08 Oct 1993 12:33:17 +0100 | wenzelm | added raise_type: string -> typ list -> term list -> 'a; | changeset | files |
| Fri, 08 Oct 1993 12:30:01 +0100 | wenzelm | "The error/exception above ...": errorneous goal now quoted; | changeset | files |
| Thu, 07 Oct 1993 11:47:50 +0100 | lcp | used ~: for "not in" | changeset | files |
| Thu, 07 Oct 1993 10:48:16 +0100 | lcp | added ~: for "not in" | changeset | files |
| Thu, 07 Oct 1993 09:49:46 +0100 | lcp | examples now use ~= for "not equals" | changeset | files |
| Thu, 07 Oct 1993 09:47:47 +0100 | lcp | ifol.thy: added ~= for "not equals" | changeset | files |