an alternative FCB for Abs_lst1; seems simpler but not as simple as I thought; not sure whether it generalises to multiple binders.
(* show_question_marks := false; *)
quick_and_dirty := true;
no_document use_thy "~~/src/HOL/Library/LaTeXsugar";
use_thy "Slides1"