| Tue, 01 May 2018 20:40:27 +0200 | wenzelm | clarified theory location and imports: avoid surprises due to Pure instead of Main (e.g. simpset operations); | file | diff | annotate | base |
| Tue, 13 Jul 2010 00:15:37 +0200 | krauss | generic ad-hoc overloading via check/uncheck | file | diff | annotate |