src/HOL/Extraction/Util.thy
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Tue, 13 Nov 2007 10:57:47 +0100 berghofe Moved auxiliary lemmas to separate theory.
less more (0) tip