isabelle: Changelog

wenzelm [Mon, 27 Oct 1997 15:29:01 +0100] rev 4009

Isa94-2 instead of Isa95;

oheimb [Mon, 27 Oct 1997 11:34:33 +0100] rev 4008

adapted domain and ax_ops package for name spaces

wenzelm [Mon, 27 Oct 1997 10:46:36 +0100] rev 4007

made SML/NJ happy;

paulson [Mon, 27 Oct 1997 10:34:17 +0100] rev 4006

Deleted two needless theorems

oheimb [Sat, 25 Oct 1997 14:43:55 +0200] rev 4005

internalized some names

oheimb [Sat, 25 Oct 1997 14:39:25 +0200] rev 4004

corrected two comments

nipkow [Fri, 24 Oct 1997 18:10:51 +0200] rev 4003

Added goal Set.thy "(Union M = {}) = (! A : M. A = {})"; AddIffs [Union_empty_conv]; Good idea??

wenzelm [Fri, 24 Oct 1997 18:02:23 +0200] rev 4002

oops, swap warnings;

isabelle