src/HOL/Library/Diagonal_Subsequence.thy
Tue, 26 Mar 2013 12:20:58 +0100 hoelzl move SEQ.thy and Lim.thy to Limits.thy
Thu, 15 Nov 2012 10:49:58 +0100 immler regularity of measures, therefore:
less more (0) tip