src/HOL/ex/StringEx.thy
2005-09-14 wenzelm 2005-09-14 tuned headers etc.;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-09-27 wenzelm 2001-09-27 tuned;
2001-02-01 wenzelm 2001-02-01 tuned
2001-01-16 wenzelm 2001-01-16 tuned examples;
1998-07-24 wenzelm 1998-07-24 added ex/MonoidGroups (record example); moved Bin and String examples to ex;