(* Author: Lukas Bulwahn <lukas.bulwahn-at-gmail.com> Dedicated to Sara L. for being a loyal soul mate *) section ‹The Twelvefold Way› theory Twelvefold_Way imports Preliminaries Twelvefold_Way_Core Equiv_Relations_on_Functions Twelvefold_Way_Entry1 Twelvefold_Way_Entry2 Twelvefold_Way_Entry4 Twelvefold_Way_Entry5 Twelvefold_Way_Entry6 Twelvefold_Way_Entry7 Twelvefold_Way_Entry8 Twelvefold_Way_Entry9 Twelvefold_Way_Entry3 Twelvefold_Way_Entry10 Twelvefold_Way_Entry11 Twelvefold_Way_Entry12 Card_Bijections Card_Bijections_Direct begin end