isabelle: Changelog

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;

wenzelm [Wed, 10 Jun 1998 11:57:40 +0200] rev 5022

moved add_axioms_x, add_defs_x to Isar/isar_thy.ML;

wenzelm [Wed, 10 Jun 1998 11:57:01 +0200] rev 5021

added exnMessage;

wenzelm [Wed, 10 Jun 1998 11:56:23 +0200] rev 5020

added General;

isabelle