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