| Fri, 20 Nov 2009 13:03:01 +0100 | Christian Urban | started regularize of rtrm/qtrm version; looks quite promising | file | diff | annotate |
| Thu, 19 Nov 2009 14:17:10 +0100 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Wed, 18 Nov 2009 23:52:48 +0100 | Christian Urban | fixed the storage of qconst definitions | file | diff | annotate |
| Thu, 12 Nov 2009 12:07:33 +0100 | Christian Urban | looking up data in quot_info works now (needs qualified string) | file | diff | annotate |