| Mon, 25 Apr 2005 17:58:41 +0200 | ballarin | Subsumption of locale interpretations. | file | diff | annotate |
| Mon, 18 Apr 2005 09:25:23 +0200 | ballarin | Interpretation supports statically scoped attributes; documentation. | file | diff | annotate |
| Fri, 16 Apr 2004 20:59:09 +0200 | wenzelm | 'instance' and intro_classes now handle general sorts; | file | diff | annotate |