Closures2.thy
Thu, 01 Sep 2011 20:26:30 +0000 urbanc solved the SUBSEQ/SUPSEQ problem
Tue, 30 Aug 2011 11:31:18 +0000 urbanc added a further test
less more (0) tip