src/HOL/ex/StringEx.ML
1998-08-06 paulson 1998-08-06 even more tidying of Goal commands
1998-07-24 wenzelm 1998-07-24 added ex/MonoidGroups (record example); moved Bin and String examples to ex;