Wed, 02 Apr 1997 11:59:02 +0200 | wenzelm | The isabelle-0 encoding table. | changeset | files |
Wed, 02 Apr 1997 11:33:14 +0200 | paulson | Made the error message more explicit | changeset | files |
Wed, 02 Apr 1997 11:32:48 +0200 | paulson | Now declares Basis Library version of type option | changeset | files |