Wed, 24 Aug 2011 07:24:22 +0000 | urbanc | just test | changeset | files |
Tue, 23 Aug 2011 12:36:43 +0000 | urbanc | added test for Higman's lemma | changeset | files |
Tue, 23 Aug 2011 11:53:25 +0000 | urbanc | more on slides | changeset | files |
Tue, 23 Aug 2011 08:42:51 +0000 | urbanc | more on the slides | changeset | files |
Tue, 23 Aug 2011 08:11:25 +0000 | urbanc | more on the slides | changeset | files |
Tue, 23 Aug 2011 00:33:12 +0000 | urbanc | forgotten file | changeset | files |