| Fri, 12 Sep 2014 00:41:17 +0800 |
ibm-PC\ibm |
good
|
changeset |
files
|
| Fri, 30 May 2014 12:05:57 +0100 |
Christian Urban |
merged
|
changeset |
files
|
| Tue, 20 May 2014 20:21:29 +0800 |
wuc |
test if can write
|
changeset |
files
|
| Fri, 30 May 2014 12:04:49 +0100 |
Christian Urban |
soem more work
|
changeset |
files
|
| Tue, 29 Apr 2014 15:26:48 +0100 |
Christian Urban |
added FMap theory and adapted tm-theory
|
changeset |
files
|
| Fri, 04 Apr 2014 13:15:07 +0100 |
Christian Urban |
deleted AList theory, which is not necessary
|
changeset |
files
|
| Thu, 03 Apr 2014 15:28:01 +0100 |
Christian Urban |
added a version using finfuns
|
changeset |
files
|
| Thu, 03 Apr 2014 14:02:58 +0100 |
Christian Urban |
added an attempt to change TMs to use FinFuns.
|
changeset |
files
|
| Thu, 03 Apr 2014 12:55:43 +0100 |
Christian Urban |
recursive function theories / UF_rec still need coding of tapes and programs
|
changeset |
files
|
| Thu, 03 Apr 2014 12:47:07 +0100 |
Christian Urban |
some comments
|
changeset |
files
|
| Thu, 27 Mar 2014 15:12:33 +0000 |
Christian Urban |
added some comments
|
changeset |
files
|
| Thu, 27 Mar 2014 13:06:27 +0000 |
Christian Urban |
some minor changes
|
changeset |
files
|
| Thu, 27 Mar 2014 11:50:37 +0000 |
Christian Urban |
moved some lemmas
|
changeset |
files
|
| Tue, 25 Mar 2014 11:20:36 +0000 |
Christian Urban |
added a stub for a paper
|
changeset |
files
|
| Mon, 24 Mar 2014 12:15:55 +0000 |
Christian Urban |
small modifications
|
changeset |
files
|