2009-11-23 | Christian Urban | fixed the error by a temporary fix (the data of the eqivalence relation should be only its name) | file | diff | annotate |
2009-11-22 | Christian Urban | updated to Isabelle 22nd November | file | diff | annotate |
2009-11-21 | Christian Urban | slight tuning | file | diff | annotate |
2009-11-21 | Christian Urban | simplified get_fun so that it uses directly rty and qty, instead of qenv | file | diff | annotate |