isabelle: Changelog

wenzelm [Tue, 20 May 1997 10:44:45 +0200] rev 3227

*** empty log message ***

Tue, 20 May 1997 10:39:23 +0200 SYNC;

wenzelm [Tue, 20 May 1997 10:39:23 +0200] rev 3226

SYNC;

mueller [Tue, 20 May 1997 10:28:19 +0200] rev 3225

little changes

paulson [Mon, 19 May 1997 15:22:41 +0200] rev 3224

Documented auto_tac

paulson [Mon, 19 May 1997 15:22:21 +0200] rev 3223

Section numbers may now be nested three deep, as in 1.2.3

nipkow [Fri, 16 May 1997 17:40:41 +0200] rev 3222

Distributed Psubset stuff to basic set theory files, incl Finite. Added stuff by bu.

oheimb [Fri, 16 May 1997 17:14:55 +0200] rev 3221

renamed unsafe_addss to addss

mueller [Fri, 16 May 1997 16:14:58 +0200] rev 3220

readme added

mueller [Fri, 16 May 1997 16:10:19 +0200] rev 3219

commented out qed (in case the MC is unavailable);

mueller [Fri, 16 May 1997 16:08:38 +0200] rev 3218

added Modelcheck example;

isabelle