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 |
Tue, 23 Aug 2011 00:24:10 +0000 | urbanc | beginnig of the slides (not yet finished) | changeset | files |