Mon, 23 Mar 2009 08:14:23 +0100 | haftmann | added instances for bot, top, wellorder | changeset | files |
Mon, 23 Mar 2009 08:14:23 +0100 | haftmann | tuned header | changeset | files |
Mon, 23 Mar 2009 08:14:22 +0100 | haftmann | more canonical import, syntax fix | changeset | files |
Mon, 23 Mar 2009 07:41:07 +0100 | haftmann | merged | changeset | files |
Sun, 22 Mar 2009 20:47:49 +0100 | haftmann | merged | changeset | files |
Sun, 22 Mar 2009 20:46:12 +0100 | haftmann | more antiquotations | changeset | files |