| 2009-12-22 | Christian Urban | simplified calculate_instance; worked around some clever code; clever code is unfortunately still there...needs to be removed | file | diff | annotate |
| 2009-12-19 | Christian Urban | on suggestion of Tobias renamed "quotient_def" to "quotient_definition"; needs new keyword file | file | diff | annotate |
| 2009-12-19 | Christian Urban | renamed "quotient" command to "quotient_type"; needs new keyword file to be installed | file | diff | annotate |
| 2009-12-12 | Christian Urban | trivial | file | diff | annotate |
| 2009-12-11 | Cezary Kaliszyk | New syntax for definitions. | file | diff | annotate |
| 2009-12-10 | Christian Urban | moved the interpretation code into Unused.thy | file | diff | annotate |
| 2009-12-09 | Cezary Kaliszyk | Different syntax for definitions that allows overloading and retrieving of definitions by matching whole constants. | file | diff | annotate |