Closures2.thy
Thu, 01 Sep 2011 20:26:30 +0000 urbanc solved the SUBSEQ/SUPSEQ problem
less more (0) tip