isabelle: Changelog

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;

wenzelm [Fri, 24 Oct 1997 17:28:20 +0200] rev 4001

record: tuned output;

wenzelm [Fri, 24 Oct 1997 17:25:33 +0200] rev 4000

ProtoPure.flexpair_def;

wenzelm [Fri, 24 Oct 1997 17:19:14 +0200] rev 3999

ProtoPure.flexpair_def;

wenzelm [Fri, 24 Oct 1997 17:18:49 +0200] rev 3998

merge: default to ProtoPure.thy;

wenzelm [Fri, 24 Oct 1997 17:18:25 +0200] rev 3997

ProtoPure.thy etc.;

wenzelm [Fri, 24 Oct 1997 17:18:00 +0200] rev 3996

tuned names; tuned prep_ext_merge;

isabelle