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;
wenzelm [Wed, 10 Jun 1998 11:58:11 +0200] rev 5023
moved attributes theory data to Isar/isar_thy.ML;