isabelle: Changelog

wenzelm [Tue, 19 Oct 1999 16:23:46 +0200] rev 7884

qed_spec_mp is a mess;

wenzelm [Tue, 19 Oct 1999 13:45:51 +0200] rev 7883

tuned;

wenzelm [Mon, 18 Oct 1999 19:43:18 +0200] rev 7882

tuned;

wenzelm [Mon, 18 Oct 1999 18:38:21 +0200] rev 7881

update by Stephan Merz;

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";

isabelle