2009-12-06 | Christian Urban | added a theorem list for equivalence theorems | file | diff | annotate |
2009-12-04 | Christian Urban | not yet quite functional treatment of constants | file | diff | annotate |
2009-12-03 | Christian Urban | removed quot argument...not all examples work anymore | file | diff | annotate |