Theory Manual_Prerequisites

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

section‹Prerequisites›
theory Manual_Prerequisites
  imports 
    "../ETTS"
    "HOL-Library.LaTeXsugar"
begin

ML_file ‹~~/src/Doc/antiquote_setup.ML›

(* Copied from Transfer.thy in the main library. *)
notation rel_fun (infixr "===>" 55)
notation map_fun (infixr "--->" 55)

type_notation bool (𝔹)

end