| Sat, 09 Jun 2007 02:38:51 +0200 |
huffman |
remove dependencies of proofs on constant int::nat=>int, preparing to remove it
|
changeset |
files
|
| Sat, 09 Jun 2007 00:28:47 +0200 |
wenzelm |
eqtype int -- explicitly encourage overloaded equality;
|
changeset |
files
|
| Sat, 09 Jun 2007 00:28:46 +0200 |
wenzelm |
simplified type integer;
|
changeset |
files
|
| Fri, 08 Jun 2007 18:13:58 +0200 |
berghofe |
Adapted Proofterm.bicompose_proof to Larry's changes in
|
changeset |
files
|
| Fri, 08 Jun 2007 18:09:37 +0200 |
chaieb |
Method "algebra" solves polynomial equations over (semi)rings
|
changeset |
files
|
| Fri, 08 Jun 2007 03:24:27 +0200 |
huffman |
generalize zpower_number_of_{even,odd} lemmas
|
changeset |
files
|
| Thu, 07 Jun 2007 17:21:43 +0200 |
obua |
deleted comments
|
changeset |
files
|
| Thu, 07 Jun 2007 14:26:05 +0200 |
obua |
deleted legacy lemmas
|
changeset |
files
|
| Thu, 07 Jun 2007 11:25:27 +0200 |
nipkow |
somebody elses problem fixed
|
changeset |
files
|
| Thu, 07 Jun 2007 11:25:05 +0200 |
nipkow |
filter syntax change
|
changeset |
files
|
| Thu, 07 Jun 2007 04:33:15 +0200 |
huffman |
remove redundant lemmas
|
changeset |
files
|
| Thu, 07 Jun 2007 03:45:56 +0200 |
huffman |
remove references to preal-specific theorems
|
changeset |
files
|
| Thu, 07 Jun 2007 03:11:31 +0200 |
huffman |
define (1::preal); clean up instance declarations
|
changeset |
files
|
| Thu, 07 Jun 2007 02:34:37 +0200 |
huffman |
tuned
|
changeset |
files
|