Closures.thy
Mon, 05 Sep 2011 15:42:29 +0000 urbanc added section about non-regularity
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
less more (0) -10 -4 tip