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 |