isabelle: Changelog

wenzelm [Fri, 12 Jun 1998 17:06:58 +0200] rev 5033

changed (| |) syntax to (: :);

wenzelm [Fri, 12 Jun 1998 17:06:14 +0200] rev 5032

changed {: :} syntax to (| |);

wenzelm [Fri, 12 Jun 1998 17:05:04 +0200] rev 5031

tuned exports; added Thy;

nipkow [Thu, 11 Jun 1998 18:18:37 +0200] rev 5030

removed rel.ML

nipkow [Thu, 11 Jun 1998 18:17:40 +0200] rev 5029

ancient relic

wenzelm [Wed, 10 Jun 1998 18:07:07 +0200] rev 5028

Context.the_context;

wenzelm [Wed, 10 Jun 1998 17:56:57 +0200] rev 5027

get_context renamed to the_context; added get_context, set_context;

wenzelm [Wed, 10 Jun 1998 17:56:21 +0200] rev 5026

tuned transaction;

wenzelm [Wed, 10 Jun 1998 12:13:52 +0200] rev 5025

tuned comments;

wenzelm [Wed, 10 Jun 1998 12:00:51 +0200] rev 5024

adapted to TheoryDataFun interface;

isabelle