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
Sat, 07 Nov 2009 08:17:52 +0100 tuned
haftmann [Sat, 07 Nov 2009 08:17:52 +0100] rev 33499
tuned
Sat, 07 Nov 2009 08:17:52 +0100 modernized primrec
haftmann [Sat, 07 Nov 2009 08:17:52 +0100] rev 33498
modernized primrec
Fri, 06 Nov 2009 21:53:20 +0100 made SML/NJ happy
boehmes [Fri, 06 Nov 2009 21:53:20 +0100] rev 33497
made SML/NJ happy
Fri, 06 Nov 2009 21:20:37 +0100 merged
nipkow [Fri, 06 Nov 2009 21:20:37 +0100] rev 33496
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip