Merge improvement/imports-layout of pull request #71 into master

Improve the layout of `imports` clauses
input-output-hk · Jul 18, 2023 · 0a52f79 · 0a52f79
2 parents 5695d8f + 67cee9d
commit 0a52f79
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