Theory Twelvefold_Way

(*  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