session "isabelle-hacks" = "HOL" +
options [document = false]
theories
Assert
Hiding_Type_Variables
Nano_JSON