| Sat, 09 Sep 2017 16:51:55 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 05 Nov 2016 15:07:11 +0100 | wenzelm | documentation of @{undefined} (actually introduced in Isabelle2016); | file | diff | annotate |
| Sat, 05 Nov 2016 14:48:31 +0100 | wenzelm | tuned; | file | diff | annotate |