--- a/src/Sequents/LK0.thy Tue Oct 15 13:30:02 2019 +0200
+++ b/src/Sequents/LK0.thy Tue Oct 15 13:34:50 2019 +0200
@@ -12,6 +12,8 @@
imports Sequents
begin
+setup \<open>Proofterm.set_preproc (Proof_Rewrite_Rules.standard_preproc [])\<close>
+
class "term"
default_sort "term"