wenzelm [Mon, 02 Jul 2001 21:14:53 +0200] rev 11392
do *not* ./configure;
wenzelm [Mon, 02 Jul 2001 21:02:16 +0200] rev 11391
#!/usr/bin/env bash;
wenzelm [Mon, 02 Jul 2001 20:55:43 +0200] rev 11390
...
paulson [Fri, 29 Jun 2001 18:12:18 +0200] rev 11389
the records section
paulson [Fri, 29 Jun 2001 18:03:07 +0200] rev 11388
the records section
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).