From f77e3f9cbe2ea7abeb4be815bdbf33d0c98076c2 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 27 May 2024 13:28:28 +0200
Subject: tests: Rename betree_main -> betree

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

(limited to 'tests/hol4/betree/betree_OpaqueTheory.sig')

diff --git a/tests/hol4/betree/betree_OpaqueTheory.sig b/tests/hol4/betree/betree_OpaqueTheory.sig
new file mode 100644
index 00000000..9452ff0f
--- /dev/null
+++ b/tests/hol4/betree/betree_OpaqueTheory.sig
@@ -0,0 +1,11 @@
+signature betree_OpaqueTheory =
+sig
+  type thm = Thm.thm
+  
+  val betree_Opaque_grammars : type_grammar.grammar * term_grammar.grammar
+(*
+   [betree_Types] Parent theory of "betree_Opaque"
+   
+   
+*)
+end
-- 
cgit v1.2.3