quick_and_dirty := true;

(*
no_document use_thys
   ["Ex/Lambda",
    "Ex/LF",
    "Ex/SingleLet",
    "Ex/Ex1rec",
    "Ex/Ex2",
    "Ex/Ex3",
    "Ex/ExLet",
    "Ex/ExLetRec",
    "Ex/TypeSchemes",
    "Ex/Modules",
    "Ex/ExPS3",
    "Ex/ExPS7",
    "Ex/CoreHaskell",
    "Ex/Test"(*,
    "Manual/Term4"*)
    ];
*)