src/HOL/String.ML
Fri, 03 Jul 1998 17:33:47 +0200 wenzelm moved String theory to main HOL;
less more (0) tip