From 9bba4301c1f9577c1933d9e7fd8ed645f369b3f4 Mon Sep 17 00:00:00 2001 From: Burkhart Wolff Date: Thu, 28 Jan 2021 15:20:10 +0100 Subject: [PATCH] nitty gritties. --- examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy | 1 - 1 file changed, 1 deletion(-) diff --git a/examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy b/examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy index c089ee5..c1916e6 100755 --- a/examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy +++ b/examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy @@ -1363,7 +1363,6 @@ text\ - (*<*) end (*>*)