isabelle: Changelog

wenzelm [Wed, 04 Jan 2006 00:52:38 +0100] rev 18558

more stuff;

paulson [Tue, 03 Jan 2006 15:44:39 +0100] rev 18557

Provers/classical: stricter checks to ensure that supplied intro, dest and elim rules are well-formed

paulson [Tue, 03 Jan 2006 15:43:54 +0100] rev 18556

added explicit paths to required theories

wenzelm [Tue, 03 Jan 2006 14:07:17 +0100] rev 18555

added implementation manual;

wenzelm [Tue, 03 Jan 2006 13:59:55 +0100] rev 18554

more stuff;

wenzelm [Tue, 03 Jan 2006 11:57:33 +0100] rev 18553

fixed LaTeX source;

haftmann [Tue, 03 Jan 2006 11:33:18 +0100] rev 18552

class now a keyword

haftmann [Tue, 03 Jan 2006 11:32:55 +0100] rev 18551

class now an keyword, quoted where necessary

haftmann [Tue, 03 Jan 2006 11:32:16 +0100] rev 18550

add_local_context now yields imported and body elements seperatly; additional slight clenup in code

haftmann [Tue, 03 Jan 2006 11:31:15 +0100] rev 18549

rearranged burrow_split to fold_burrow to allow composition with fold_map

isabelle