src/HOL/Import/mono_scan.ML
Sun, 16 Jan 2011 15:53:03 +0100 wenzelm tuned headers;
Sat, 20 Nov 2010 00:53:26 +0100 wenzelm renamed raw "explode" function to "raw_explode" to emphasize its meaning;
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Fri, 17 Feb 2006 03:30:50 +0100 obua use monomorphic sequences / scanners
less more (0) tip