isabelle: Changelog

paulson [Tue, 04 Jul 2000 15:58:11 +0200] rev 9245

removed most batch-style proofs

wenzelm [Tue, 04 Jul 2000 14:58:40 +0200] rev 9244

tuned;

oheimb [Tue, 04 Jul 2000 14:04:56 +0200] rev 9243

disambiguated := ; added Examples (factorial)

nipkow [Tue, 04 Jul 2000 12:04:16 +0200] rev 9242

added a thm.

oheimb [Tue, 04 Jul 2000 10:54:46 +0200] rev 9241

disambiguated := ; added Examples (factorial)

oheimb [Tue, 04 Jul 2000 10:54:32 +0200] rev 9240

added BinOp

wenzelm [Tue, 04 Jul 2000 01:12:42 +0200] rev 9239

* added 'nothing' --- the empty list of theorems;

wenzelm [Tue, 04 Jul 2000 01:11:42 +0200] rev 9238

added "nothing" (empty list of theorems);

wenzelm [Tue, 04 Jul 2000 01:10:53 +0200] rev 9237

fixed usage;

wenzelm [Tue, 04 Jul 2000 01:10:36 +0200] rev 9236

tuned comments; even smarter guessing of ProofGeneral location;

isabelle