2008-03-20 ago(continued)
haftmann [Thu, 20 Mar 2008 12:01:16 +0100] rev 26353
(continued)

2008-03-20 agotuned
haftmann [Thu, 20 Mar 2008 12:01:14 +0100] rev 26352
tuned

2008-03-20 agotuned import
haftmann [Thu, 20 Mar 2008 12:01:13 +0100] rev 26351
tuned import

2008-03-20 agoadjusted authorship
haftmann [Thu, 20 Mar 2008 12:01:12 +0100] rev 26350
adjusted authorship

2008-03-20 agotuned proof
haftmann [Thu, 20 Mar 2008 12:01:11 +0100] rev 26349
tuned proof

2008-03-20 agoadded theory Library/Enum.thy
haftmann [Thu, 20 Mar 2008 12:01:10 +0100] rev 26348
added theory Library/Enum.thy

2008-03-20 agotuned proofs
haftmann [Thu, 20 Mar 2008 12:01:09 +0100] rev 26347
tuned proofs

2008-03-20 agosimplified get_thm(s): back to plain name argument;
wenzelm [Thu, 20 Mar 2008 00:20:51 +0100] rev 26346
simplified get_thm(s): back to plain name argument;
renamed former get_thm to get_fact_single, and get_thms to get_fact;

2008-03-20 agorenamed former get_thms(_silent) to get_fact(_silent);
wenzelm [Thu, 20 Mar 2008 00:20:49 +0100] rev 26345
renamed former get_thms(_silent) to get_fact(_silent);

2008-03-20 agosimplified get_thm(s): back to plain name argument;
wenzelm [Thu, 20 Mar 2008 00:20:48 +0100] rev 26344
simplified get_thm(s): back to plain name argument;
renamed former get_thms(_silent) to get_fact(_silent);