Fri, 14 Mar 2008 19:58:01 +0100 Orders as relations
nipkow [Fri, 14 Mar 2008 19:58:01 +0100] rev 26273
Orders as relations
Fri, 14 Mar 2008 19:57:32 +0100 Added Order_Relation
nipkow [Fri, 14 Mar 2008 19:57:32 +0100] rev 26272
Added Order_Relation
Fri, 14 Mar 2008 19:57:12 +0100 Added lemmas
nipkow [Fri, 14 Mar 2008 19:57:12 +0100] rev 26271
Added lemmas
Fri, 14 Mar 2008 12:18:56 +0100 restore instead of init
haftmann [Fri, 14 Mar 2008 12:18:56 +0100] rev 26270
restore instead of init
Fri, 14 Mar 2008 08:52:55 +0100 restore replaces reinit
haftmann [Fri, 14 Mar 2008 08:52:55 +0100] rev 26269
restore replaces reinit
Fri, 14 Mar 2008 08:52:53 +0100 added mk_const functions
haftmann [Fri, 14 Mar 2008 08:52:53 +0100] rev 26268
added mk_const functions
Fri, 14 Mar 2008 08:52:52 +0100 added combinator for interpretation of construction of datatype
haftmann [Fri, 14 Mar 2008 08:52:52 +0100] rev 26267
added combinator for interpretation of construction of datatype
Fri, 14 Mar 2008 08:52:51 +0100 tuned
haftmann [Fri, 14 Mar 2008 08:52:51 +0100] rev 26266
tuned
Wed, 12 Mar 2008 19:38:14 +0100 separated Random.thy from Quickcheck.thy
haftmann [Wed, 12 Mar 2008 19:38:14 +0100] rev 26265
separated Random.thy from Quickcheck.thy
Wed, 12 Mar 2008 19:38:13 +0100 yet another useful lemma
haftmann [Wed, 12 Mar 2008 19:38:13 +0100] rev 26264
yet another useful lemma
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip