Theory ETTS_CR

(* Title: ETTS/Manual/ETTS_CR.thy
   Author: Mihails Milehins
   Copyright 2021 (C) Mihails Milehins
*)

theory ETTS_CR
  imports ETTS_Examples 
begin
end