| changeset 82818 | c6b3f0ee0a69 |
| parent 82815 | cb0062a20be1 |
| child 82830 | 3c60d0a340cb |
--- a/src/Provers/classical.ML Sun Jul 06 14:53:20 2025 +0200 +++ b/src/Provers/classical.ML Sun Jul 06 14:58:00 2025 +0200 @@ -904,7 +904,7 @@ Attrib.setup \<^binding>\<open>intro\<close> (Context_Rules.add safe_intro unsafe_intro Context_Rules.intro_query) "declaration of Classical introduction rule" #> Attrib.setup \<^binding>\<open>rule\<close> (Scan.lift Args.del >> K rule_del) - "remove declaration of intro/elim/dest rule"); + "remove declaration of Classical intro/elim/dest rule");