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/misc-external/external_OpaqueTheory.sig | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 tests/hol4/misc-external/external_OpaqueTheory.sig

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

diff --git a/tests/hol4/misc-external/external_OpaqueTheory.sig b/tests/hol4/misc-external/external_OpaqueTheory.sig
deleted file mode 100644
index 7cd7a08c..00000000
--- a/tests/hol4/misc-external/external_OpaqueTheory.sig
+++ /dev/null
@@ -1,11 +0,0 @@
-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