From 70ac3af0a4d6899b973b289b904ddfa30e891006 Mon Sep 17 00:00:00 2001
From: Liam O'Connor <me@liamoc.net>
Date: Mon, 12 May 2025 22:54:40 +1000
Subject: [PATCH] add heading

---
 trees/dt/dt-004I.tree | 1 +
 1 file changed, 1 insertion(+)

diff --git a/trees/dt/dt-004I.tree b/trees/dt/dt-004I.tree
index 54b6ef7..5e7393f 100644
--- a/trees/dt/dt-004I.tree
+++ b/trees/dt/dt-004I.tree
@@ -1,5 +1,6 @@
 \import{dt-macros}
 \taxon{Theorem}
+\title{Closure of Scott domains}
 \author{liamoc}
 \p{[Scott domains](dt-004G) are closed under all our [cpo](dt-001D) constructions, including [sums](dt-0031) #{+}, [products](dt-0021) #{\times}, [continuous functions](dt-002L) #{\contto}, [smash sums](dt-003H) #{\oplus}, [smash products](dt-003G) #{\otimes} and [strict functions](dt-003F) #{\strictto}.
 }
\ No newline at end of file
-- 
2.51.2