isabelle: Changelog

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;

wenzelm [Sat, 04 Sep 1999 21:08:38 +0200] rev 7478

deactivated ProofContext.transfer_used_names; eliminated PureThy.default_name ("" not stored);

wenzelm [Sat, 04 Sep 1999 21:07:12 +0200] rev 7477

removed text vars;

wenzelm [Sat, 04 Sep 1999 21:06:20 +0200] rev 7476

PureThy.have_thmss: "" replaces None;

wenzelm [Sat, 04 Sep 1999 21:05:25 +0200] rev 7475

Library.equal_lists;

wenzelm [Sat, 04 Sep 1999 21:05:01 +0200] rev 7474

removed Syntax.binding;

isabelle