Slides/Slides1.thy
2011-08-25 urbanc final polishing
2011-08-24 urbanc final slides
2011-08-24 urbanc more slides
2011-08-24 urbanc more on slides
2011-08-23 urbanc more on slides
2011-08-23 urbanc more on the slides
2011-08-23 urbanc more on the slides
2011-08-23 urbanc beginnig of the slides (not yet finished)
2010-11-10 urbanc my slides from the talk in Cambridge
2010-11-03 urbanc added initial slides for informal talk in Cambridge
less more (0) tip