Theory Gaussian_Integers_Everything

(*
  File:     Gaussian_Integers_Everything.thy
  Author:   Manuel Eberl, TU M√ľnchen

  Dummy theory to import everything in the session to ensure the theories are loaded in the
  right order for the document.
*)
theory Gaussian_Integers_Everything
imports
  Gaussian_Integers
  Gaussian_Integers_Test
  Gaussian_Integers_Sums_Of_Two_Squares
  Gaussian_Integers_Pythagorean_Triples
begin

end