src/HOL/ex/Seq.thy
Sun, 18 Sep 2011 13:39:33 +0200 wenzelm finite sequences as useful as introductory example;
less more (0) tip