--- a/src/HOL/ROOT Tue Aug 25 14:55:33 2020 +0200 +++ b/src/HOL/ROOT Tue Aug 25 15:02:56 2020 +0200 @@ -365,6 +365,7 @@ Author: Jasmin Blanchette, TU Muenchen Copyright 2009 " + options [kodkod_scala] sessions "HOL-Library" theories [quick_and_dirty] Nitpick_Examples