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 |
2009-10-24 | cek | Undid wrong merge | file | diff | annotate |
2009-10-24 | cek | Cleaning the mess | file | diff | annotate |
2009-10-23 | Christian Urban | fixed problem with incorrect ABS/REP name | file | diff | annotate |