| 2013-05-16 | Christian Urban |
completed coding functions | changeset | files |
| 2013-05-15 | Christian Urban |
added recusive functions that decode triangle numbers | changeset | files |
| 2013-05-13 | Christian Urban |
added | changeset | files |
| 2013-05-13 | Christian Urban |
added papers | changeset | files |
| 2013-05-10 | Christian Urban |
added first version of natbiject | changeset | files |
| 2013-05-10 | Christian Urban |
added test version | changeset | files |
| 2013-05-09 | Christian Urban |
added lemmas about a pairing function | changeset | files |
| 2013-05-02 | Christian Urban |
polised a bit of the Recs-theory | changeset | files |
| 2013-05-02 | Christian Urban |
repaired old files | changeset | files |
| 2013-05-02 | Christian Urban |
eliminated explicit swap_lemmas | changeset | files |
| 2013-05-02 | Christian Urban |
separated recursive functions and UF | changeset | files |
| 2013-05-02 | Christian Urban |
introduced rec_if | changeset | files |
| Loading... | |||