2010-12-26 | Christian Urban | generated goals for strong induction theorems. | changeset | files |
2010-12-23 | Christian Urban | test with strong inductions | changeset | files |
2010-12-23 | Christian Urban | moved all strong_exhaust code to nominal_dt_quot; tuned examples | changeset | files |
2010-12-23 | Christian Urban | moved generic functions into nominal_library | changeset | files |
2010-12-22 | Christian Urban | slight tuning | changeset | files |
2010-12-22 | Christian Urban | slight tuning | changeset | files |
2010-12-22 | Christian Urban | tuned examples | changeset | files |
2010-12-22 | Christian Urban | added fold_right which produces the correct term for left-infix operators | changeset | files |
Loading... |