isabelle: Changelog

wenzelm [Mon, 08 Aug 2011 13:40:24 +0200] rev 44054

proper signature;

wenzelm [Mon, 08 Aug 2011 13:39:51 +0200] rev 44053

made SML/NJ happy;

wenzelm [Mon, 08 Aug 2011 13:29:54 +0200] rev 44052

slightly more uniform messages;

wenzelm [Mon, 08 Aug 2011 13:19:19 +0200] rev 44051

avoid pointless completion of illegal control commands;

nipkow [Mon, 08 Aug 2011 08:56:58 +0200] rev 44050

removed old expand_fun_eq

nipkow [Mon, 08 Aug 2011 08:25:28 +0200] rev 44049

fixed index entry

nipkow [Mon, 08 Aug 2011 07:35:42 +0200] rev 44048

removed old recdef and types usage

nipkow [Mon, 08 Aug 2011 07:13:16 +0200] rev 44047

merged

nipkow [Sat, 06 Aug 2011 14:16:23 +0200] rev 44046

extended user-level attribute case_names with names for case hypotheses

nipkow [Mon, 01 Aug 2011 12:08:53 +0200] rev 44045

infrastructure for attaching names to hypothesis in cases; realised via the same tag mechanism as case names

isabelle