# HG changeset patch
# User wenzelm
# Date 1723557025 -7200
# Node ID 2d2f476ab56e7267c2746876ac6d74a2b8f1d8b7
# Parent  48eaf5c85d6ec68ea754f7fc25afa96df2e78715
unused (see d12c58e12c51);

diff -r 48eaf5c85d6e -r 2d2f476ab56e src/Pure/raw_simplifier.ML
--- a/src/Pure/raw_simplifier.ML	Tue Aug 13 15:42:55 2024 +0200
+++ b/src/Pure/raw_simplifier.ML	Tue Aug 13 15:50:25 2024 +0200
@@ -20,7 +20,6 @@
   val mk_rrules: Proof.context -> thm list -> rrule list
   val eq_rrule: rrule * rrule -> bool
   type proc = Proof.context -> cterm -> thm option
-  type procedure
   type solver
   val mk_solver: string -> (Proof.context -> int -> tactic) -> solver
   type simpset