Tue, 01 Jul 2008 09:58:32 +0200 | haftmann | (removed Complex/ROOT.ML) | changeset | files |
Tue, 01 Jul 2008 08:19:00 +0200 | haftmann | HOL += HOL-Complex | changeset | files |
Tue, 01 Jul 2008 08:05:08 +0200 | haftmann | HOL += HOL-Complex | changeset | files |