Thu, 28 Dec 2006 14:30:40 +0100 | wenzelm | removed nospaces (Char.isSpace does not conform to Isabelle conventions); | changeset | files |
Thu, 28 Dec 2006 14:30:39 +0100 | wenzelm | tuned msg; | changeset | files |
Thu, 28 Dec 2006 14:30:38 +0100 | wenzelm | inlined nospaces (from library.ML); | changeset | files |