Theory SML_Introduction

(* Title: Examples/SML_Relativization/SML_Introduction.thy
   Author: Mihails Milehins
   Copyright 2021 (C) Mihails Milehins
*)
chapter‹SML Relativization›
theory SML_Introduction
  imports "../Introduction"
begin
end