isabelle: Changelog

kleing [Fri, 25 Oct 2002 10:47:47 +0200] rev 13679

fixed latex output

kleing [Thu, 24 Oct 2002 12:08:33 +0200] rev 13678

changes for cleanup in JVM

kleing [Thu, 24 Oct 2002 12:07:31 +0200] rev 13677

cleanup, beautified

kleing [Thu, 24 Oct 2002 12:06:43 +0200] rev 13676

fixed latex error

nipkow [Thu, 24 Oct 2002 07:23:46 +0200] rev 13675

ASIN -> SET

streckem [Wed, 23 Oct 2002 16:10:42 +0200] rev 13674

*** empty log message ***

Wed, 23 Oct 2002 16:10:02 +0200 First checkin of compiler

streckem [Wed, 23 Oct 2002 16:10:02 +0200] rev 13673

First checkin of compiler

streckem [Wed, 23 Oct 2002 16:09:02 +0200] rev 13672

Added compiler

berghofe [Mon, 21 Oct 2002 17:23:23 +0200] rev 13671

Eta contraction is now switched off when printing extracted program.

berghofe [Mon, 21 Oct 2002 17:20:29 +0200] rev 13670

Fixed problem with theorems containing TFrees.

isabelle