isabelle: Changelog

haftmann [Tue, 16 Jan 2007 08:06:55 +0100] rev 22067

refined and added example for ExecutableRat

haftmann [Tue, 16 Jan 2007 08:06:52 +0100] rev 22066

updated keywords

krauss [Mon, 15 Jan 2007 10:15:55 +0100] rev 22065

added sections on mutual induction and patterns

paulson [Sun, 14 Jan 2007 09:57:29 +0100] rev 22064

optimized translation of HO problems

ballarin [Fri, 12 Jan 2007 15:37:21 +0100] rev 22063

Reverted to structure representation with records.

haftmann [Fri, 12 Jan 2007 09:58:31 +0100] rev 22062

more term inspection

haftmann [Fri, 12 Jan 2007 09:58:30 +0100] rev 22061

introduced binding concept

haftmann [Fri, 12 Jan 2007 09:58:29 +0100] rev 22060

adjusted manual

paulson [Thu, 11 Jan 2007 16:53:12 +0100] rev 22059

well-founded relations for the integers

webertj [Thu, 11 Jan 2007 01:34:23 +0100] rev 22058

updated to mention the automatic unfolding of constants

isabelle