Closures.thy
Fri, 02 Sep 2011 14:01:11 +0000 urbanc latest changes
Fri, 02 Sep 2011 13:30:17 +0000 urbanc small improvement
Fri, 02 Sep 2011 12:19:00 +0000 urbanc added example about non-regularity
Tue, 23 Aug 2011 00:24:10 +0000 urbanc beginnig of the slides (not yet finished)
less more (0) -10 -4 tip