Theory FNDS_Introduction

(* Title: Examples/TTS_Foundations/FNDS_Introduction.thy
   Author: Mihails Milehins
   Copyright 2021 (C) Mihails Milehins
*)
chapter‹TTS Foundations›
theory FNDS_Introduction
  imports "../Introduction"
begin
end