isabelle: Changelog

wenzelm [Tue, 23 Oct 2007 13:29:16 +0200] rev 25158

translations: use XCONST for input patterns (keeps original spelling of const);

paulson [Tue, 23 Oct 2007 13:10:19 +0200] rev 25157

random tidying of proofs

wenzelm [Tue, 23 Oct 2007 12:47:21 +0200] rev 25156

empty files are back -- referenced in Makefile;

haftmann [Tue, 23 Oct 2007 11:48:12 +0200] rev 25155

dropped code redundancy

haftmann [Tue, 23 Oct 2007 11:48:11 +0200] rev 25154

tuned

haftmann [Tue, 23 Oct 2007 11:48:10 +0200] rev 25153

tuned proof

haftmann [Tue, 23 Oct 2007 11:48:08 +0200] rev 25152

partially localized

haftmann [Tue, 23 Oct 2007 10:53:15 +0200] rev 25151

continued

wenzelm [Mon, 22 Oct 2007 21:32:12 +0200] rev 25150

tuned;

wenzelm [Mon, 22 Oct 2007 21:32:09 +0200] rev 25149

fixed proof: no one_is_Suc_zero;

isabelle