diff -r bcba32fd89de -r 6ead333e450d src/HOL/ROOT --- a/src/HOL/ROOT Wed Dec 23 23:08:57 2020 +0100 +++ b/src/HOL/ROOT Wed Dec 23 23:19:09 2020 +0100 @@ -377,6 +377,7 @@ Author: Jasmin Blanchette, TU Muenchen Copyright 2009 " + options [kodkod_scala] sessions "HOL-Library" theories [quick_and_dirty] Nitpick_Examples