isabelle: Changelog

himmelma [Tue, 09 Mar 2010 15:39:26 +0100] rev 35751

added lemmas

nipkow [Fri, 12 Mar 2010 15:48:37 +0100] rev 35750

merged

nipkow [Fri, 12 Mar 2010 15:48:18 +0100] rev 35749

Added Hoare_Op.thy

hoelzl [Fri, 12 Mar 2010 15:35:41 +0100] rev 35748

Equality of integral and infinite sum.

blanchet [Fri, 12 Mar 2010 12:02:22 +0100] rev 35747

make tests less demanding, to prevent sporadic failures

wenzelm [Sat, 13 Mar 2010 15:12:56 +0100] rev 35746

more antiquotations;

wenzelm [Sat, 13 Mar 2010 15:12:47 +0100] rev 35745

command 'typedef' now works within a local theory context;

wenzelm [Sat, 13 Mar 2010 15:12:17 +0100] rev 35744

removed obsolete HOL 'typedecl'; local theory version of HOL 'typedef';

wenzelm [Sat, 13 Mar 2010 14:44:47 +0100] rev 35743

adapted to localized typedef: handle single global interpretation only;

wenzelm [Sat, 13 Mar 2010 14:43:04 +0100] rev 35742

global typedef;

isabelle