isabelle: Changelog

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;

wenzelm [Thu, 20 Mar 2008 00:20:49 +0100] rev 26345

renamed former get_thms(_silent) to get_fact(_silent);

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);

wenzelm [Thu, 20 Mar 2008 00:20:44 +0100] rev 26343

simplified get_thm(s): back to plain name argument;

wenzelm [Wed, 19 Mar 2008 22:50:42 +0100] rev 26342

more antiquotations;

wenzelm [Wed, 19 Mar 2008 22:47:39 +0100] rev 26341

avoid Auto_tac;

isabelle