isabelle: Changelog

nipkow [Tue, 29 Oct 2002 11:32:52 +0100] rev 13685

added induction thms

nipkow [Mon, 28 Oct 2002 17:56:00 +0100] rev 13684

moved fac example

nipkow [Mon, 28 Oct 2002 14:30:37 +0100] rev 13683

*** empty log message ***

Mon, 28 Oct 2002 14:29:51 +0100 conversion ML -> thy

nipkow [Mon, 28 Oct 2002 14:29:51 +0100] rev 13682

conversion ML -> thy

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

isabelle