isabelle: Changelog

huffman [Mon, 11 Feb 2008 22:12:19 +0100] rev 26061

fix spelling

wenzelm [Mon, 11 Feb 2008 21:32:13 +0100] rev 26060

imports Main;

wenzelm [Mon, 11 Feb 2008 21:32:12 +0100] rev 26059

removed unnecessary theory qualifiers;

wenzelm [Mon, 11 Feb 2008 21:32:11 +0100] rev 26058

simultaneous use_thys;

wenzelm [Mon, 11 Feb 2008 21:32:10 +0100] rev 26057

added Id;

krauss [Mon, 11 Feb 2008 15:40:21 +0100] rev 26056

Made theory names in ZF disjoint from HOL theory names to allow loading both developments in a single session (but not merge them).

urbanc [Mon, 11 Feb 2008 15:19:17 +0100] rev 26055

tuned proofs and comments

wenzelm [Sun, 10 Feb 2008 20:49:48 +0100] rev 26054

tuned spaces;

wenzelm [Sun, 10 Feb 2008 20:49:47 +0100] rev 26053

tuned default position;

wenzelm [Sun, 10 Feb 2008 20:49:46 +0100] rev 26052

added default_properties;

isabelle