src/HOL/Import/seq.ML
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Fri, 17 Feb 2006 15:03:26 +0100 obua replaced Symbol.explode by explode
Thu, 16 Feb 2006 23:30:47 +0100 obua improved scanning
less more (0) tip