Tue, 22 Apr 2008 08:33:21 +0200 | haftmann | added theory Sublist_Order | changeset | files |
Tue, 22 Apr 2008 08:33:20 +0200 | haftmann | dropped some metis calls | changeset | files |
Tue, 22 Apr 2008 08:33:19 +0200 | haftmann | tuned proofs | changeset | files |