From 55e8f84c773fc9265110ca4fad94a23e1f15edc6 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 30 Oct 2018 00:59:47 +0000
Subject: [PATCH] Switched to technical report.

---
 examples/technical_report/IsaDofApplications.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/technical_report/IsaDofApplications.thy b/examples/technical_report/IsaDofApplications.thy
index c4641fc..ac71303 100644
--- a/examples/technical_report/IsaDofApplications.thy
+++ b/examples/technical_report/IsaDofApplications.thy
@@ -1,6 +1,6 @@
 (*<*)
 theory IsaDofApplications
-  imports "../../ontologies/scholarly_paper"
+  imports "../../ontologies/technical_report"
 begin
 
 open_monitor*[this::article]