src/HOL/Library/Stream.thy
Tue, 04 Apr 2017 11:52:28 +0200 wenzelm proper imports;
Thu, 20 Oct 2016 18:41:59 +0200 hoelzl HOL-Probability: move stopping time from AFP/Markov_Models
Sun, 16 Oct 2016 09:31:05 +0200 haftmann more standardized theorem names for facts involving the div and mod identity
Wed, 10 Aug 2016 14:50:59 +0200 wenzelm tuned proofs;
Tue, 31 May 2016 14:56:51 +0200 traytel moved lemma from afp
Thu, 07 Jan 2016 15:53:39 +0100 wenzelm more uniform treatment of package internals;
Sun, 15 Nov 2015 12:39:51 +0100 wenzelm option "inductive_defs" controls exposure of def and mono facts;
Tue, 13 Oct 2015 09:21:15 +0200 haftmann prod_case as canonical name for product type eliminator
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sat, 11 Apr 2015 13:12:57 +0200 wenzelm tuned;
Wed, 19 Nov 2014 19:12:14 +0100 traytel more accurate lemma name
Thu, 13 Nov 2014 17:19:52 +0100 hoelzl import general theorems from AFP/Markov_Models
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Mon, 20 Oct 2014 07:45:58 +0200 haftmann augmented and tuned facts on even/odd and division
Tue, 07 Oct 2014 10:48:29 +0200 hoelzl move Stream theory from Datatype_Examples to Library
less more (0) tip