Thu, 08 May 1997 12:22:01 +0200 New proofs about WHILE and VALOF
paulson [Thu, 08 May 1997 12:22:01 +0200] rev 3144
New proofs about WHILE and VALOF
Thu, 08 May 1997 11:44:59 +0200 Modified def of Least, which, as Markus correctly complained, looked like
nipkow [Thu, 08 May 1997 11:44:59 +0200] rev 3143
Modified def of Least, which, as Markus correctly complained, looked like Minimal. Derived the old def for nat in NatDef as Least_nat_def.
Thu, 08 May 1997 10:20:37 +0200 Made a slow proof slightly faster
paulson [Thu, 08 May 1997 10:20:37 +0200] rev 3142
Made a slow proof slightly faster
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip