paulson [Fri, 29 Jun 2001 16:59:10 +0200] rev 11387
for the records section
paulson [Tue, 26 Jun 2001 17:25:41 +0200] rev 11386
a few new and/or improved results
paulson [Tue, 26 Jun 2001 17:07:02 +0200] rev 11385
gave Greatest_le its proper name
paulson [Tue, 26 Jun 2001 17:06:18 +0200] rev 11384
resolved name clash
paulson [Tue, 26 Jun 2001 17:05:10 +0200] rev 11383
tidied
paulson [Tue, 26 Jun 2001 17:04:54 +0200] rev 11382
now more like the HOL versions, and with the Square Root example added
paulson [Tue, 26 Jun 2001 17:04:09 +0200] rev 11381
tidying and consolidating files
paulson [Tue, 26 Jun 2001 16:54:39 +0200] rev 11380
tidying and consolidating files
nipkow [Tue, 26 Jun 2001 15:28:49 +0200] rev 11379
removed duplicate proof and small mod.
paulson [Mon, 25 Jun 2001 15:36:55 +0200] rev 11378
Simprocs for type "nat" no longer introduce numerals unless
paulson [Mon, 25 Jun 2001 15:35:59 +0200] rev 11377
Simprocs for type "nat" no longer introduce numerals unless they are already
present in the expression, and in a coefficient position (i.e. as a factor
of a monomial).
oheimb [Sat, 16 Jun 2001 20:06:42 +0200] rev 11376
added NanoJava
paulson [Wed, 13 Jun 2001 16:30:12 +0200] rev 11375
tidied
paulson [Wed, 13 Jun 2001 16:29:51 +0200] rev 11374
New proof of gcd_zero after a change to Divides.ML made the old one fail