session MinFML = Main +
	sessions
		"HOL-Library"
	theories
		"MinFMLinHOL_preliminaries"
		"MinFMLinHOL_deep"
		"MinFMLinHOL_deep_subst_lemma"
		"MinFMLinHOL_shallow"
		"MinFMLinHOL_experiments"
		"MinFMLinHOL_ElementarySubstructure"
		"MinFMLinHOL_shallow_minimal_locale"
		"MinFMLinHOL_faithfulness_locale"
		"MinFMLinHOL_faithfulness"
		"MinFMLinHOL_shallow_minimal"
		"MinFMLinHOL_experiments_locale"
