--- a/src/HOL/Combinatorics/Guide.thy Mon May 10 22:32:02 2021 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-
-section \<open>Basic combinatorics in Isabelle/HOL (and the Archive of Formal Proofs)\<close>
-
-theory Guide
-imports Combinatorics
-begin
-
-end