src/HOL/String.thy
2000-12-23 wenzelm 2000-12-23 Tools/string_syntax.ML;
1999-08-16 wenzelm 1999-08-16 'a list: Nil, Cons;
1999-03-17 wenzelm 1999-03-17 xstr token class;
1998-07-03 wenzelm 1998-07-03 moved String theory to main HOL;