isabelle: Changelog

paulson [Tue, 18 Jun 2002 18:45:07 +0200] rev 13220

tidying

paulson [Tue, 18 Jun 2002 17:58:21 +0200] rev 13219

new lemma

paulson [Tue, 18 Jun 2002 10:52:08 +0200] rev 13218

conversion of Fixedpt to Isar script

paulson [Tue, 18 Jun 2002 10:51:04 +0200] rev 13217

new theorems

paulson [Sun, 16 Jun 2002 11:58:54 +0200] rev 13216

conversion of CardinalArith to Isar script

kleing [Sat, 15 Jun 2002 22:57:33 +0200] rev 13215

LBV instantiated for JVM

kleing [Fri, 14 Jun 2002 23:25:36 +0200] rev 13214

wt_method now checks bounded+types ==> wt_kildall <=> wt_method

wenzelm [Fri, 14 Jun 2002 13:24:32 +0200] rev 13213

IsarTut;

paulson [Fri, 14 Jun 2002 11:57:04 +0200] rev 13212

better proof of ord_iso_restrict_pred

wenzelm [Thu, 13 Jun 2002 17:22:10 +0200] rev 13211

BUG FIX in inst_thm: use current context instead of that of thm!!!

isabelle