isabelle: Changelog

kleing [Sun, 27 Oct 2002 23:34:02 +0100] rev 13681

simplified lemma correct_frames_newref

isatest [Sat, 26 Oct 2002 13:05:27 +0200] rev 13680

switched to atbroy51, removed markus from email list

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

isabelle