| Sat, 01 Mar 2003 16:45:51 +0100 | kleing | keep a copy of generated files in repository | changeset | files |
| Fri, 28 Feb 2003 14:25:22 +0100 | isatest | generate nightly devel snapshot | changeset | files |
| Fri, 28 Feb 2003 14:11:54 +0100 | isatest | case distinction on host for makefile flags | changeset | files |
| Thu, 27 Feb 2003 18:22:49 +0100 | paulson | Reorganized, moving many results about the integer dvd relation from IntPrimes | changeset | files |
| Thu, 27 Feb 2003 18:21:42 +0100 | paulson | restored some deleted lemmas | changeset | files |
| Thu, 27 Feb 2003 15:12:29 +0100 | ballarin | Change to meta simplifier: congruence rules may now have frees as head of term. | changeset | files |
| Wed, 26 Feb 2003 14:26:18 +0100 | kleing | == -> = | changeset | files |
| Wed, 26 Feb 2003 13:16:07 +0100 | paulson | zprime_def fixes by Jeremy Avigad | changeset | files |