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
less more (0) -10 -3 tip