--- a/src/HOL/ROOT Tue Sep 29 12:01:30 2020 +0200
+++ b/src/HOL/ROOT Tue Sep 29 12:12:34 2020 +0200
@@ -366,7 +366,6 @@
Author: Jasmin Blanchette, TU Muenchen
Copyright 2009
"
- options [kodkod_scala]
sessions "HOL-Library"
theories [quick_and_dirty] Nitpick_Examples