Fri, 06 Nov 2009 09:50:37 -0800 fix name of lemma snd_strict
huffman [Fri, 06 Nov 2009 09:50:37 -0800] rev 33506
fix name of lemma snd_strict
Thu, 05 Nov 2009 15:38:09 -0800 use try instead of handle
huffman [Thu, 05 Nov 2009 15:38:09 -0800] rev 33505
use try instead of handle
Thu, 05 Nov 2009 11:47:00 -0800 map functions for various types, with ep_pair/deflation/finite_deflation lemmas
huffman [Thu, 05 Nov 2009 11:47:00 -0800] rev 33504
map functions for various types, with ep_pair/deflation/finite_deflation lemmas
Thu, 05 Nov 2009 11:36:30 -0800 lemma deflation_strict
huffman [Thu, 05 Nov 2009 11:36:30 -0800] rev 33503
lemma deflation_strict
Sat, 07 Nov 2009 16:54:13 +0100 tuned ML_OPTIONS for SML/NJ -- for improved performance;
wenzelm [Sat, 07 Nov 2009 16:54:13 +0100] rev 33502
tuned ML_OPTIONS for SML/NJ -- for improved performance;
Sat, 07 Nov 2009 08:18:12 +0100 merged
haftmann [Sat, 07 Nov 2009 08:18:12 +0100] rev 33501
merged
Sat, 07 Nov 2009 08:17:53 +0100 added predicate example
haftmann [Sat, 07 Nov 2009 08:17:53 +0100] rev 33500
added predicate example
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip