Fri, 22 Feb 2008 12:01:52 +0100 | haftmann | moved refute_tac to linarith.ML | changeset | files |
Thu, 21 Feb 2008 21:31:52 +0100 | wenzelm | more elaborate structure Distribution (filled-in by makedist); | changeset | files |
Thu, 21 Feb 2008 21:31:51 +0100 | wenzelm | keep ChangeLog.gz within distribution; | changeset | files |