Mon, 18 Feb 2013 13:33:00 +0000 | Christian Urban |
tuned | changeset | files |
Mon, 18 Feb 2013 13:28:51 +0000 | Christian Urban |
removed unnecessary examples from Abacus.thy | changeset | files |
Mon, 18 Feb 2013 13:26:27 +0000 | Christian Urban |
added abacus machines | changeset | files |
Mon, 18 Feb 2013 00:18:56 +0000 | Christian Urban |
tuned | changeset | files |
Sat, 16 Feb 2013 11:02:08 +0000 | Christian Urban |
added some TM machines | changeset | files |
Sat, 16 Feb 2013 09:07:07 +0000 | Christian Urban |
added abacus programs | changeset | files |