Improve the layout of imports clauses

input-output-hk · Jul 16, 2023 · b6bb82b · b6bb82b
1 parent daaed2c
commit b6bb82b
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/Equivalence_Reasoner.thy b/src/Equivalence_Reasoner.thy
@@ -133,10 +133,10 @@ section \<open>Implementation\<close>
 text_raw \<open>\label{implementation}\<close>
 
 theory Equivalence_Reasoner
-imports
- Main
- "HOL-Eisbach.Eisbach_Tools"
- \<comment>\<open>Besides Eisbach, we use the @{attribute uncurry} attribute from the Eisbach tools.\<close>
+ imports
+  Main
+  "HOL-Eisbach.Eisbach_Tools"
+  \<comment>\<open>Besides Eisbach, we use the @{attribute uncurry} attribute from the Eisbach tools.\<close>
 begin
 
 context begin