Journal/Paper.thy
Fri, 19 Aug 2011 06:57:57 +0000 urbanc added comments by Xingyuan
Wed, 17 Aug 2011 17:36:19 +0000 urbanc added an example for non-regularity and continuation lemma (the example does not yet work)
less more (0) -10 -2 tip