| Tue, 21 Jun 2005 09:35:30 +0200 | wenzelm | tuned SUBGOAL: Logic.nth_prem instead of List.nth o prems_of; | changeset | files |
| Tue, 21 Jun 2005 09:31:57 +0200 | wenzelm | fixed HOL-Complex-Matrix target; | changeset | files |
| Tue, 21 Jun 2005 08:16:03 +0200 | haftmann | removed mkcontent from makedist | changeset | files |