isabelle: Changelog

haftmann [Wed, 24 Oct 2007 07:19:52 +0200] rev 25163

tuned

nipkow [Tue, 23 Oct 2007 23:27:23 +0200] rev 25162

went back to >0

nipkow [Tue, 23 Oct 2007 22:48:25 +0200] rev 25161

changed back from ~=0 to >0

wenzelm [Tue, 23 Oct 2007 14:00:06 +0200] rev 25160

updated;

wenzelm [Tue, 23 Oct 2007 13:29:17 +0200] rev 25159

added XCONST syntax (keeps original spelling of const);

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

isabelle