isabelle: Changelog

wenzelm [Wed, 01 Oct 1997 18:19:18 +0200] rev 3769

exported separator;

wenzelm [Wed, 01 Oct 1997 18:13:41 +0200] rev 3768

fully qualified names: Theory.add_XXX;

wenzelm [Wed, 01 Oct 1997 17:43:42 +0200] rev 3767

moved theory stuff (add_defs etc.) here from drule.ML; only BasicTheory opened;

wenzelm [Wed, 01 Oct 1997 17:42:32 +0200] rev 3766

moved theory stuff (add_defs etc.) to theory.ML;

wenzelm [Wed, 01 Oct 1997 17:41:20 +0200] rev 3765

fully qualified name: Theory.merge_thy_list;

wenzelm [Wed, 01 Oct 1997 17:40:09 +0200] rev 3764

fully qualified names: Theory.add_XXX;

wenzelm [Wed, 01 Oct 1997 17:36:51 +0200] rev 3763

added name_space.ML;

wenzelm [Wed, 01 Oct 1997 17:32:38 +0200] rev 3762

added split_last;

wenzelm [Wed, 01 Oct 1997 14:30:38 +0200] rev 3761

Hierarchically structured name spaces.

paulson [Wed, 01 Oct 1997 13:42:18 +0200] rev 3760

Strengthened the possibility property for resumption so that it could have detected the problem with ServerResume

isabelle