Improve the layout of the imports clause

This complements #71.
input-output-hk · Jul 16, 2023 · f9a0ebd · f9a0ebd
1 parent 1a6c13d
commit f9a0ebd
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Equivalence_Reasoner-Usage_Example.thy b/src/Equivalence_Reasoner-Usage_Example.thy
@@ -3,9 +3,9 @@ text_raw \<open>\appendix\<close>
 section \<open>Usage Example\<close>
 
 theory "Equivalence_Reasoner-Usage_Example"
-imports
-  Equivalence_Reasoner
-  "HOL-Analysis.Extended_Real_Limits"
+  imports
+    Equivalence_Reasoner
+    "HOL-Analysis.Extended_Real_Limits"
 begin
 
 subsection \<open>Extended Reals\<close>