2011-09-04 urbanc removed the last two sorry's
2011-09-02 zhang More modification by Xingyuan.
2011-09-02 zhang One passage added.
2011-09-02 urbanc latest changes
2011-09-02 urbanc small change
2011-09-02 urbanc small improvement
2011-09-02 urbanc added a start for a proposal
2011-09-02 urbanc added example about non-regularity
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
Loading...
(0) -100 -12 +12 +100 tip