isabelle: Changelog

paulson [Mon, 18 Oct 1999 16:16:03 +0200] rev 7880

exchanged the first two args of "project" and "drop_prog"

paulson [Mon, 18 Oct 1999 15:20:21 +0200] rev 7879

fixed comments

paulson [Mon, 18 Oct 1999 15:18:24 +0200] rev 7878

working version with localTo[C] instead of localTo

paulson [Mon, 18 Oct 1999 15:17:35 +0200] rev 7877

new thm disjoint_iff_not_equal

paulson [Mon, 18 Oct 1999 15:16:10 +0200] rev 7876

new thm vimage_image_eq

wenzelm [Sat, 16 Oct 1999 18:56:09 +0200] rev 7875

PROOFGENERAL_OPTIONS="-u false";

wenzelm [Fri, 15 Oct 1999 16:44:37 +0200] rev 7874

improved presentation;

wenzelm [Fri, 15 Oct 1999 16:43:05 +0200] rev 7873

fixed comment;

berghofe [Fri, 15 Oct 1999 15:31:35 +0200] rev 7872

Removed obsolete comment.

berghofe [Fri, 15 Oct 1999 12:31:43 +0200] rev 7871

Documented thm_deps.

isabelle