isabelle: Changelog

wenzelm [Sat, 05 Jun 1999 20:33:27 +0200] rev 6789

auto_bind_goal, auto_bind_facts;

wenzelm [Sat, 05 Jun 1999 20:32:49 +0200] rev 6788

added get_st;

wenzelm [Sat, 05 Jun 1999 20:32:10 +0200] rev 6787

tuned;

wenzelm [Sat, 05 Jun 1999 20:30:29 +0200] rev 6786

varifyT': observe additional 'fixed' tfrees;

wenzelm [Sat, 05 Jun 1999 20:29:07 +0200] rev 6785

removed ObjectLogic.setup;

wenzelm [Sat, 05 Jun 1999 20:28:45 +0200] rev 6784

proper calculation;

wenzelm [Sat, 05 Jun 1999 20:27:53 +0200] rev 6783

renamed object_logic.ML to Isar/auto_bind.ML and tuned this module;

wenzelm [Fri, 04 Jun 1999 22:12:33 +0200] rev 6782

fixed "...": dest_arg;

wenzelm [Fri, 04 Jun 1999 20:10:07 +0200] rev 6781

oops;

wenzelm [Fri, 04 Jun 1999 19:58:06 +0200] rev 6780

added order_le_less_trans, order_less_le_trans;

isabelle