| Wed, 10 Jul 2013 17:47:30 +0100 |
Christian Urban |
added modified version adn answer to the reviewers
|
file |
diff |
annotate
|
| Fri, 05 Jul 2013 17:19:17 +0100 |
Christian Urban |
polished more and updated to new isabelle
|
file |
diff |
annotate
|
| Fri, 01 Mar 2013 17:28:25 +0000 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Fri, 01 Mar 2013 17:13:32 +0000 |
Christian Urban |
adapted to JAR
|
file |
diff |
annotate
|
| Mon, 23 Apr 2012 08:01:37 +0000 |
urbanc |
made changes for another journal submission of the MN-paper
|
file |
diff |
annotate
|
| Fri, 20 Apr 2012 11:45:06 +0000 |
urbanc |
made changes for another journal submission of the MH-paper
|
file |
diff |
annotate
|
| Wed, 22 Feb 2012 13:25:49 +0000 |
urbanc |
partially updated conference paper; slightly tuned journal paper
|
file |
diff |
annotate
|
| Thu, 08 Sep 2011 15:08:02 +0000 |
urbanc |
one more itteration on the paper
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 09:28:13 +0000 |
urbanc |
polished a bit the journal paper
|
file |
diff |
annotate
|
| Mon, 05 Sep 2011 12:07:16 +0000 |
urbanc |
added section about SUBSEQ and SUPSEQ
|
file |
diff |
annotate
|
| Wed, 17 Aug 2011 17:36:19 +0000 |
urbanc |
added an example for non-regularity and continuation lemma (the example does not yet work)
|
file |
diff |
annotate
|
| Fri, 05 Aug 2011 05:34:11 +0000 |
urbanc |
more on the derivatives section
|
file |
diff |
annotate
|