Theory FNDS_Conclusions

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