| Wed, 16 Feb 2005 19:00:49 +0100 | nipkow | *** empty log message *** | changeset | files |
| Tue, 15 Feb 2005 16:56:15 +0100 | berghofe | refine now provides specific cases "goal1" ... "goaln" for addressing | changeset | files |
| Mon, 14 Feb 2005 10:24:58 +0100 | paulson | simplified a proof | changeset | files |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | changeset | files |
| Fri, 11 Feb 2005 18:51:00 +0100 | berghofe | Fully qualified refl and trans to avoid confusion with theorems | changeset | files |
| Fri, 11 Feb 2005 17:11:24 +0100 | berghofe | Optimized present_tokens to produce fewer newlines when hiding proofs. | changeset | files |