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