(* Title: Examples/TTS_Foundations/FNDS_Conclusions.thy Author: Mihails Milehins Copyright 2021 (C) Mihails Milehins *) theory FNDS_Conclusions imports FNDS_Introduction "./Foundations/FNDS_Set_Ext" "./Foundations/FNDS_Definite_Description" "./Orders/Type_Simple_Orders" "./Orders/Set_Simple_Orders" "./Algebra/Type_Semigroups" "./Algebra/Set_Semigroups" begin end