proper indentation;

1 files changed, 5 insertions, 5 deletions

diff --git a/isa/Example.ML b/isa/Example.ML
index 673f7c6f..1fec5c08 100644
--- a/isa/Example.ML
+++ b/isa/Example.ML
@@ -5,11 +5,11 @@
 *)    
 
 Goal "A & B --> B & A";
-by (rtac impI 1);
-by (etac conjE 1);
-by (rtac conjI 1);
-by (assume_tac 1);
-by (assume_tac 1);
+  by (rtac impI 1);
+  by (etac conjE 1);
+  by (rtac conjI 1);
+  by (assume_tac 1);
+  by (assume_tac 1);
 qed "and_comms";
 
 Goal "(ALL x. P(x) --> Q) --> ((EX x. P(x)) --> Q)";