| 2009-11-11 | Christian Urban | updated to new Theory_Data and to new Isabelle | file | diff | annotate |
| 2009-11-03 | Christian Urban | simplified the quotient_def code; type of the defined constant must now be given; for-part eliminated | file | diff | annotate |
| 2009-11-02 | Christian Urban | split quotient.ML into two files | file | diff | annotate |