| Sun, 30 Sep 2018 12:02:04 +0100 | Christian Urban | updated | file | diff | annotate |
| Wed, 15 Aug 2018 13:48:57 +0100 | Christian Urban | added proof for bitcoded algorithm | file | diff | annotate |
| Tue, 15 May 2018 10:24:25 +0100 | Christian Urban | updated | file | diff | annotate |
| Fri, 03 Jun 2016 11:07:10 +0100 | Christian Urban |
typos | file | diff | annotate |
| Wed, 18 May 2016 15:57:46 +0100 | Christian Urban |
updated | file | diff | annotate |
| Tue, 17 May 2016 03:47:33 +0100 | Christian Urban |
isarfied the simplify theory | file | diff | annotate |
| Mon, 16 May 2016 15:20:23 +0100 | Christian Urban |
improved simplifying theory | file | diff | annotate |