isabelle: Changelog

wenzelm [Tue, 22 Dec 2009 14:58:13 +0100] rev 34157

explicit representation of Token_Kind -- cannot really depend on runtime types due to erasure; added Token_Reader; tuned;

paulson [Mon, 21 Dec 2009 16:50:28 +0000] rev 34156

Changes in generated code, apparently caused by changes to the code generation system itself.

paulson [Mon, 21 Dec 2009 16:49:04 +0000] rev 34155

Polishing up the English

wenzelm [Mon, 21 Dec 2009 10:40:14 +0100] rev 34154

merged

haftmann [Mon, 21 Dec 2009 08:32:22 +0100] rev 34153

merged

haftmann [Mon, 21 Dec 2009 08:32:04 +0100] rev 34152

clarified various user-defined syntax issues

haftmann [Mon, 21 Dec 2009 08:32:04 +0100] rev 34151

prefer prefix "iso" over potentially misleading "is"; tuned

haftmann [Mon, 21 Dec 2009 08:32:03 +0100] rev 34150

moved lemmas o_eq_dest, o_eq_elim here

huffman [Sat, 19 Dec 2009 09:07:04 -0800] rev 34149

add 'morphisms' option to domain_isomorphism command

huffman [Sat, 19 Dec 2009 06:07:33 -0800] rev 34148

merged

isabelle