Closures.thy
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) -3 tip