2016-06-03 | Christian Urban |
typos | file | diff | annotate |
2016-05-18 | Christian Urban |
updated | file | diff | annotate |
2016-05-17 | Christian Urban |
isarfied the simplify theory | file | diff | annotate |
2016-05-16 | Christian Urban |
improved simplifying theory | file | diff | annotate |
2016-03-18 | Christian Urban |
updated | file | diff | annotate |
2016-03-15 | Christian Urban |
updated | file | diff | annotate |
2016-03-14 | Christian Urban |
updated | file | diff | annotate |