| 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 |