Closures2.thy
2012-08-29 urbanc some addition to the MN-paper
2012-04-20 urbanc made changes for another journal submission of the MH-paper
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