isabelle: Changelog

paulson [Tue, 23 Jan 1996 11:27:29 +0100] rev 1449

Added discussion of "let" and pattern-matching

paulson [Tue, 23 Jan 1996 11:10:39 +0100] rev 1448

Stylistic changes to discussion of pattern-matching

nipkow [Tue, 23 Jan 1996 10:59:35 +0100] rev 1447

Added a verified verification-condition generator.

paulson [Sat, 20 Jan 1996 02:00:11 +0100] rev 1446

Ran expandshort

paulson [Fri, 19 Jan 1996 16:00:22 +0100] rev 1445

Now expands TABS as well

paulson [Thu, 18 Jan 1996 10:38:29 +0100] rev 1444

trivial updates

paulson [Thu, 18 Jan 1996 10:28:20 +0100] rev 1443

New version number

wenzelm [Mon, 15 Jan 1996 15:50:54 +0100] rev 1442

*** empty log message ***

Mon, 15 Jan 1996 15:50:41 +0100 added Lattice demo;

wenzelm [Mon, 15 Jan 1996 15:50:41 +0100] rev 1441

added Lattice demo;

wenzelm [Mon, 15 Jan 1996 15:49:21 +0100] rev 1440

added this stuff;

isabelle