2022-07-17 | Christian Urban | removed junk in BlexerSimp | file | diff | annotate |
2022-07-17 | Christian Urban | added paper | file | diff | annotate |
2022-07-17 | Christian Urban | updated paper and corresponding theories | file | diff | annotate |
2022-07-09 | Christian Urban | updated paper and theories to include n-times | file | diff | annotate |
2022-04-29 | Christian Urban | updated to include the paper | file | diff | annotate | base |