diff -r 0b320e92485c -r de2e2382bc0d src/Sequents/LK0.thy
--- 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"