Changes

Summary

Changeset 6959:e2b90d4ce858 by kleing: merged from afp-2016, and adjusted for devel
Changeset 6958:cff7430c2700 by gerwin klein _gerwin.klein@nicta.com.au_: use Isabelle release version by default
The file was modified	`admin/testall` (diff)