isabelle: Changelog

wenzelm [Sat, 04 Apr 1998 11:42:48 +0200] rev 4789

added triv_goal, rev_triv_goal (for Isar);

wenzelm [Sat, 04 Apr 1998 11:42:26 +0200] rev 4788

added Goal_def;

wenzelm [Sat, 04 Apr 1998 11:41:24 +0200] rev 4787

replaced thy_data by thy_setup;

wenzelm [Sat, 04 Apr 1998 11:41:00 +0200] rev 4786

added local_theory (for Isar); added setup;

wenzelm [Sat, 04 Apr 1998 11:40:18 +0200] rev 4785

tuned trace msgs;

wenzelm [Fri, 03 Apr 1998 14:38:19 +0200] rev 4784

tuned names;

wenzelm [Fri, 03 Apr 1998 14:37:48 +0200] rev 4783

added get_tthm(s), store_tthms(s); tuned;

wenzelm [Fri, 03 Apr 1998 14:36:20 +0200] rev 4782

tuned comments;

wenzelm [Fri, 03 Apr 1998 14:36:05 +0200] rev 4781

added attribute.ML;

wenzelm [Fri, 03 Apr 1998 14:35:39 +0200] rev 4780

Theorem tags and attributes.

isabelle