2008-10-30 | Christian Urban | hakked latex so that it does not display ML {* *}; general tuning | file | diff | annotate |
2008-10-13 | berghofe | Tuned. | file | diff | annotate |
2008-10-10 | berghofe | Antiquotation setup is now contained in theory Base. | file | diff | annotate |
2008-10-02 | Christian Urban | added a solution section and some other minor additions | file | diff | annotate |