2010-06-02 | Christian Urban | fixed problem with bn_info | file | diff | annotate |
2010-06-01 | Christian Urban | smaller code for raw-eqvt proofs | file | diff | annotate |
2010-05-31 | Christian Urban | all raw definitions are defined using function | file | diff | annotate |
2010-05-24 | Christian Urban | tuned | file | diff | annotate |
2010-05-24 | Christian Urban | alpha works now | file | diff | annotate |
2010-05-23 | Christian Urban | started to work on alpha | file | diff | annotate |
2010-05-22 | Christian Urban | properly exported bn_descr | file | diff | annotate |
2010-05-21 | Christian Urban | hving a working fv-definition without the export | file | diff | annotate |
2010-05-21 | Christian Urban | tuned | file | diff | annotate |
2010-05-20 | Christian Urban | tuned | file | diff | annotate |
2010-05-20 | Christian Urban | moved some mk_union and mk_diff into the library | file | diff | annotate |
2010-05-20 | Christian Urban | new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files | file | diff | annotate |