isabelle: Changelog

wenzelm [Wed, 13 Dec 2006 15:47:34 +0100] rev 21824

target_abbrev: internal mode for abbrevs; tuned;

wenzelm [Wed, 13 Dec 2006 15:47:33 +0100] rev 21823

edge: actually apply operation!

wenzelm [Wed, 13 Dec 2006 15:47:31 +0100] rev 21822

tuned;

haftmann [Wed, 13 Dec 2006 15:45:33 +0100] rev 21821

authentic syntax for number_of

haftmann [Wed, 13 Dec 2006 15:45:31 +0100] rev 21820

introduced mk/dest_numeral/number for mk/dest_binum etc.

haftmann [Wed, 13 Dec 2006 15:45:30 +0100] rev 21819

fixed syntax for bounded quantification

haftmann [Wed, 13 Dec 2006 15:45:29 +0100] rev 21818

dropped superfluous header

krauss [Wed, 13 Dec 2006 14:56:50 +0100] rev 21817

clarified error message

krauss [Wed, 13 Dec 2006 14:54:07 +0100] rev 21816

nat type now has a size functin => no longer needed as special case

krauss [Wed, 13 Dec 2006 14:52:50 +0100] rev 21815

simplified

isabelle