isabelle: Changelog

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;

wenzelm [Sun, 10 Feb 2008 20:49:45 +0100] rev 26051

added position_properties;

wenzelm [Sun, 10 Feb 2008 20:49:42 +0100] rev 26050

maintain default position;

wenzelm [Sat, 09 Feb 2008 12:56:12 +0100] rev 26049

overloading: reduced code redundancy, no xstrings here;

isabelle