isabelle: Changelog

wenzelm [Mon, 06 Sep 1999 16:59:46 +0200] rev 7488

isabelle-pdfdocs;

wenzelm [Mon, 06 Sep 1999 16:57:53 +0200] rev 7487

close_block: removed ProofContext.transfer_used_names;

wenzelm [Mon, 06 Sep 1999 16:57:33 +0200] rev 7486

removed thms_closure (unused); removed transfer_used_names; fix: do not declare unconstrained vars;

wenzelm [Mon, 06 Sep 1999 16:56:01 +0200] rev 7485

removed thms_closure (unused);

wenzelm [Mon, 06 Sep 1999 12:49:39 +0200] rev 7484

added README;

wenzelm [Mon, 06 Sep 1999 10:54:10 +0200] rev 7483

tuned;

paulson [Mon, 06 Sep 1999 10:52:26 +0200] rev 7482

working snapshot

wenzelm [Sat, 04 Sep 1999 21:13:55 +0200] rev 7481

goal_nonempty: Ex goal for new-style version;

wenzelm [Sat, 04 Sep 1999 21:13:01 +0200] rev 7480

replaced ?? by ?;

wenzelm [Sat, 04 Sep 1999 21:12:15 +0200] rev 7479

eliminated Syntax.binding; put_thms: ignore ""; update_binds_env: Envir.norm_term ensures proper type instantiation;

isabelle