Closures2.thy
2011-09-05 urbanc added section about SUBSEQ and SUPSEQ
2011-09-04 urbanc removed the last two sorry's
2011-09-02 urbanc cleaned up proofs
2011-09-01 urbanc included Higman's lemma from the Isabelle repository
2011-09-01 urbanc solved the SUBSEQ/SUPSEQ problem
2011-08-30 urbanc added a further test
less more (0) tip