2009-11-02 | Christian Urban | fixed problem with maps_update | file | diff | annotate |
2009-11-02 | Christian Urban | fixed the problem with types in map | file | diff | annotate |
2009-10-28 | Christian Urban | added infrastructure for defining lifted constants | file | diff | annotate |
2009-10-27 | Christian Urban | tuned | file | diff | annotate |
2009-10-27 | Christian Urban | added equiv-thm to the quot_info | file | diff | annotate |
2009-10-25 | Christian Urban | added code for declaring map-functions | file | diff | annotate |
2009-10-24 | Christian Urban | added data-storage about the quotients | file | diff | annotate |