| 2009-12-19 | Christian Urban | renamed "quotient" command to "quotient_type"; needs new keyword file to be installed | file | diff | annotate |
| 2009-12-19 | Christian Urban | with "isabelle make keywords" you can create automatically a "quot" keywordfile, provided all Logics are in place | file | diff | annotate |
| 2009-12-19 | Christian Urban | avoided global "open"s - replaced by local "open"s | file | diff | annotate |
| 2009-12-17 | Christian Urban | moved the QuotMain code into two ML-files | file | diff | annotate |