| Tue, 22 Oct 2019 11:14:52 +0200 | wenzelm | clarified types (again): 'a is canonical for 'class' (as alternative to 'locale'), 'b is common for Hindley-Milner examples; | file | diff | annotate |
| Wed, 18 Jan 2017 17:56:52 +0100 | wenzelm | clarified theory name; | file | diff | annotate | base |