| Tue, 03 Sep 2013 15:02:52 +0100 |
Christian Urban |
soem changes
|
file |
diff |
annotate
|
| Mon, 22 Apr 2013 08:26:16 +0100 |
Christian Urban |
updated and small modification
|
file |
diff |
annotate
|
| Fri, 05 Apr 2013 09:18:17 +0100 |
Christian Urban |
polished the intro
|
file |
diff |
annotate
|
| Fri, 29 Mar 2013 02:40:38 +0000 |
Christian Urban |
changed the introduction adn cited Zammit
|
file |
diff |
annotate
|
| Wed, 27 Feb 2013 01:32:53 +0000 |
Christian Urban |
added a coment about partial_function
|
file |
diff |
annotate
|
| Thu, 07 Feb 2013 04:28:00 +0000 |
Christian Urban |
updated paper
|
file |
diff |
annotate
|
| Wed, 06 Feb 2013 02:25:00 +0000 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Tue, 29 Jan 2013 12:37:06 +0000 |
Christian Urban |
updated paper
|
file |
diff |
annotate
|
| Mon, 28 Jan 2013 02:38:57 +0000 |
Christian Urban |
updated paper
|
file |
diff |
annotate
|
| Fri, 25 Jan 2013 15:57:58 +0100 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Thu, 24 Jan 2013 18:59:49 +0100 |
Christian Urban |
updated paper
|
file |
diff |
annotate
|
| Thu, 24 Jan 2013 00:20:26 +0100 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Wed, 23 Jan 2013 08:01:35 +0100 |
Christian Urban |
small updates
|
file |
diff |
annotate
|
| Fri, 18 Jan 2013 13:56:35 +0000 |
Christian Urban |
updated turing_basic by Jian
|
file |
diff |
annotate
|
| Fri, 18 Jan 2013 13:03:09 +0000 |
Christian Urban |
shortening a bit the paper and updating various things
|
file |
diff |
annotate
|
| Fri, 18 Jan 2013 11:40:01 +0000 |
Christian Urban |
updated to ITP and updated directories
|
file |
diff |
annotate
| base
|