isabelle: Changelog

haftmann [Thu, 20 Mar 2008 12:02:51 +0100] rev 26355

Theory Product_Type; fixed typos

haftmann [Thu, 20 Mar 2008 12:01:17 +0100] rev 26354

rearranged

haftmann [Thu, 20 Mar 2008 12:01:16 +0100] rev 26353

(continued)

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

tuned

haftmann [Thu, 20 Mar 2008 12:01:13 +0100] rev 26351

tuned import

haftmann [Thu, 20 Mar 2008 12:01:12 +0100] rev 26350

adjusted authorship

haftmann [Thu, 20 Mar 2008 12:01:11 +0100] rev 26349

tuned proof

haftmann [Thu, 20 Mar 2008 12:01:10 +0100] rev 26348

added theory Library/Enum.thy

haftmann [Thu, 20 Mar 2008 12:01:09 +0100] rev 26347

tuned proofs

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;

isabelle