isabelle: Changelog

wenzelm [Thu, 06 Feb 1997 17:24:05 +0100] rev 2582

cd made readably again;

wenzelm [Wed, 05 Feb 1997 09:56:06 +0100] rev 2581

tuned;

paulson [Tue, 04 Feb 1997 10:33:58 +0100] rev 2580

Gradual switching to Basis Library functions nth, drop, etc.

wenzelm [Tue, 04 Feb 1997 08:59:50 +0100] rev 2579

now uses tee -i instead of perl;

wenzelm [Tue, 04 Feb 1997 08:59:17 +0100] rev 2578

now uses ISABELLE_INSTALLFONTS;

wenzelm [Tue, 04 Feb 1997 08:58:47 +0100] rev 2577

added ISABELLE_INSTALLFONTS;

paulson [Fri, 31 Jan 1997 17:51:42 +0100] rev 2576

Declaration of ccontr (classical contradiction) for HOL compatibility

paulson [Fri, 31 Jan 1997 17:50:47 +0100] rev 2575

Correction to Problem 24

paulson [Fri, 31 Jan 1997 17:17:10 +0100] rev 2574

Correction to Problem 24

paulson [Fri, 31 Jan 1997 17:15:55 +0100] rev 2573

Correction to Problem 24 (with unsatisfactory proof)

isabelle