isabelle: Changelog

haftmann [Thu, 04 May 2006 11:34:27 +0200] rev 19556

fixed some flaws

haftmann [Thu, 04 May 2006 10:13:55 +0200] rev 19555

fixed some flaws

haftmann [Wed, 03 May 2006 17:41:28 +0200] rev 19554

added world map

webertj [Wed, 03 May 2006 12:05:53 +0200] rev 19553

pre_cnf_tac: beta-eta-normalization restricted to the current subgoal

haftmann [Wed, 03 May 2006 09:45:09 +0200] rev 19552

improvments in mail obfuscator

huffman [Wed, 03 May 2006 05:56:11 +0200] rev 19551

converted to isar theory; removed unsound adm_all axiom

huffman [Wed, 03 May 2006 03:47:15 +0200] rev 19550

update to reflect changes in inverts/injects lemmas

huffman [Wed, 03 May 2006 03:46:25 +0200] rev 19549

inverts and injects generated lemmas now take the form of rewrite rules, instead of dest rules

urbanc [Wed, 03 May 2006 02:16:23 +0200] rev 19548

added lemma fresh_right, which is useful in the proof of the recursion combinator

wenzelm [Tue, 02 May 2006 20:42:43 +0200] rev 19547

added the_theory;

isabelle