| 2019-02-20 | Christian Urban | added size bounds for partial derivatives | file | diff | annotate |
| 2016-09-21 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-19 | Christian Urban |
updated implementations | file | diff | annotate |
| 2015-12-17 | Christian Urban |
updated | file | diff | annotate |
| 2015-06-08 | Christian Urban |
updated the Isabelle theories with the totality proof | file | diff | annotate |
| 2015-05-25 | Christian Urban |
proved some basic properties (totality and trichonomity) for the orderings | file | diff | annotate |
| 2015-04-10 | Christian Urban |
updated | file | diff | annotate |