From 3adbe18d36df3767e98f30b760ccd9c6ace640ad Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 24 May 2024 17:01:16 +0200
Subject: Rename some subdirectories for consistency

---
 tests/hol4/external/external_OpaqueTheory.sig | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/hol4/external/external_OpaqueTheory.sig

(limited to 'tests/hol4/external/external_OpaqueTheory.sig')

diff --git a/tests/hol4/external/external_OpaqueTheory.sig b/tests/hol4/external/external_OpaqueTheory.sig
new file mode 100644
index 00000000..7cd7a08c
--- /dev/null
+++ b/tests/hol4/external/external_OpaqueTheory.sig
@@ -0,0 +1,11 @@
+signature external_OpaqueTheory =
+sig
+  type thm = Thm.thm
+  
+  val external_Opaque_grammars : type_grammar.grammar * term_grammar.grammar
+(*
+   [external_Types] Parent theory of "external_Opaque"
+   
+   
+*)
+end
-- 
cgit v1.2.3