Thu, 11 Feb 1999 21:16:30 +0100 | wenzelm | added output_width; | changeset | files |
Thu, 11 Feb 1999 21:15:46 +0100 | wenzelm | sym: Symbol.output_width; | changeset | files |
Thu, 11 Feb 1999 21:15:27 +0100 | wenzelm | val appends: T list -> T; | changeset | files |
Thu, 11 Feb 1999 15:30:10 +0100 | wenzelm | tuned; | changeset | files |
Tue, 09 Feb 1999 10:47:21 +0100 | paulson | tidied; better error messages | changeset | files |
Tue, 09 Feb 1999 10:45:55 +0100 | paulson | new lemma surjD | changeset | files |