src/HOL/Library/Diagonal_Subsequence.thy
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Sun, 26 Nov 2017 21:08:32 +0100 wenzelm more symbols;
Thu, 17 Aug 2017 14:52:56 +0200 eberlm Replaced subseq with strict_mono
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Tue, 05 Aug 2014 12:56:15 +0200 wenzelm tuned proofs;
Wed, 17 Jul 2013 13:34:21 +0200 immler tuned definition of seqseq; clarified usage of diagseq via diagseq_holds
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