From eb772155adbe550ed66379a377d3a32939a24031 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 12 Feb 2019 01:02:28 +0000
Subject: [PATCH] Changed sorry to oops to allow session build.

---
 Isa_DOF.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Isa_DOF.thy b/Isa_DOF.thy
index bcec19f..056f379 100644
--- a/Isa_DOF.thy
+++ b/Isa_DOF.thy
@@ -1661,6 +1661,6 @@ writeln (DOF_core.toStringDocItemRef "scholarly_paper.introduction" "XX" []);
 \<close>
 *)
 
-lemma X : "True" sorry
+lemma X : "True" oops
 
 end