| Thu, 14 Jun 2007 09:54:14 +0200 | kleing | clarified who we consider to be a contributor | changeset | files |
| Thu, 14 Jun 2007 09:37:38 +0200 | chaieb | Fixed Problem with ML-bindings for thm names; | changeset | files |
| Thu, 14 Jun 2007 07:27:55 +0200 | nipkow | fixed filter syntax | changeset | files |
| Thu, 14 Jun 2007 00:48:42 +0200 | wenzelm | updated 'find_theorems' -- moved ProofGeneral specifics to ProofGeneral/CHANGES; | changeset | files |
| Thu, 14 Jun 2007 00:22:45 +0200 | wenzelm | tuned proofs: avoid implicit prems; | changeset | files |
| Wed, 13 Jun 2007 19:14:51 +0200 | huffman | int abbreviates of_nat | changeset | files |
| Wed, 13 Jun 2007 18:30:17 +0200 | wenzelm | tuned proofs: avoid implicit prems; | changeset | files |