updated to latest changes (10 April) to quotient package (lift_raw_const only takes dummy theorem TrueI....in the future this will not work anymore)
quick_and_dirty := true;
no_document use_thys
["Lambda",
"Minimal",
"Tutorial1s",
"Tutorial3s",
"Tutorial4s",
"Tutorial1",
"Tutorial2",
"Tutorial2s",
"Tutorial3",
"Tutorial4",
"Tutorial5",
"Tutorial6"
];