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