src/Pure/General/word.scala
Wed, 16 Apr 2014 12:26:12 +0200 wenzelm clarified word case;
Wed, 16 Apr 2014 11:52:26 +0200 wenzelm more specific support for sequence of words;
Wed, 16 Apr 2014 09:38:40 +0200 wenzelm tuned signature -- separate module Word;
less more (0) tip