Fri, 02 Sep 2011 13:29:46 +0000 added a start for a proposal
urbanc [Fri, 02 Sep 2011 13:29:46 +0000] rev 225
added a start for a proposal
Fri, 02 Sep 2011 12:19:00 +0000 added example about non-regularity
urbanc [Fri, 02 Sep 2011 12:19:00 +0000] rev 224
added example about non-regularity
Fri, 02 Sep 2011 09:53:56 +0000 cleaned up proofs
urbanc [Fri, 02 Sep 2011 09:53:56 +0000] rev 223
cleaned up proofs
Thu, 01 Sep 2011 23:18:34 +0000 included Higman's lemma from the Isabelle repository
urbanc [Thu, 01 Sep 2011 23:18:34 +0000] rev 222
included Higman's lemma from the Isabelle repository
Thu, 01 Sep 2011 20:26:30 +0000 solved the SUBSEQ/SUPSEQ problem
urbanc [Thu, 01 Sep 2011 20:26:30 +0000] rev 221
solved the SUBSEQ/SUPSEQ problem
Tue, 30 Aug 2011 11:31:18 +0000 added a further test
urbanc [Tue, 30 Aug 2011 11:31:18 +0000] rev 220
added a further test
Fri, 26 Aug 2011 17:29:07 +0000 corrected typo
urbanc [Fri, 26 Aug 2011 17:29:07 +0000] rev 219
corrected typo
(0) -100 -30 -10 -7 +7 +10 +30 +100 tip