1 (* :mode=isabelle-options: *)
2
3 section "ISAC"
4
5 public option isac_test : bool = false
6 -- "ISAC test mode (for ML)"