isabelle: Changelog

paulson [Tue, 07 Jan 1997 12:37:07 +0100] rev 2482

Default rewrite rules for quantification over Collect(A,P)

paulson [Tue, 07 Jan 1997 10:19:43 +0100] rev 2481

Now uses HPair

paulson [Tue, 07 Jan 1997 10:18:20 +0100] rev 2480

Tidied up the unicity proofs

paulson [Tue, 07 Jan 1997 10:17:07 +0100] rev 2479

Updated account of implicit simpsets and clasets

wenzelm [Tue, 07 Jan 1997 09:06:01 +0100] rev 2478

added ISABELLE, ISATOOL;

wenzelm [Tue, 07 Jan 1997 09:05:26 +0100] rev 2477

testdir: use dir without committing into database;

wenzelm [Tue, 07 Jan 1997 09:04:53 +0100] rev 2476

added dvi viewer alternative;

wenzelm [Tue, 07 Jan 1997 09:03:53 +0100] rev 2475

fixed cmp -s option;

wenzelm [Tue, 07 Jan 1997 09:01:52 +0100] rev 2474

minor tuning;

wenzelm [Tue, 07 Jan 1997 09:01:18 +0100] rev 2473

minor tuning; added Auth/Recur;

isabelle