isabelle: Changelog

wenzelm [Tue, 04 May 1999 17:59:55 +0200] rev 6579

isabelle_zf image;

wenzelm [Tue, 04 May 1999 17:59:31 +0200] rev 6578

*** empty log message ***

Tue, 04 May 1999 16:49:24 +0200 Arithmetic.

nipkow [Tue, 04 May 1999 16:49:24 +0200] rev 6577

Arithmetic.

wenzelm [Tue, 04 May 1999 16:18:16 +0200] rev 6576

add_recdef: removed names / attributes;

paulson [Tue, 04 May 1999 13:47:28 +0200] rev 6575

new definitions of Co and LeadsTo

wenzelm [Tue, 04 May 1999 13:32:53 +0200] rev 6574

transaction: Theory.copy;

wenzelm [Tue, 04 May 1999 13:32:35 +0200] rev 6573

hide prep_ext, merge_theories;

wenzelm [Tue, 04 May 1999 11:31:29 +0200] rev 6572

oops;

wenzelm [Tue, 04 May 1999 11:27:25 +0200] rev 6571

tuned;

paulson [Tue, 04 May 1999 10:26:00 +0200] rev 6570

Invariant -> Always and other tidying

isabelle