From 41f13f91d023e497d9b35e7a958a961aa0c7a5e5 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Sat, 18 Aug 2018 14:34:08 +0200
Subject: Misc formatting

---
 ex/Synthesis.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ex/Synthesis.thy')

diff --git a/ex/Synthesis.thy b/ex/Synthesis.thy
index cd5c4e1..e5a8ecf 100644
--- a/ex/Synthesis.thy
+++ b/ex/Synthesis.thy
@@ -76,4 +76,4 @@ theorem
 by (simple lems: pred_welltyped pred_type pred_props)
 
 
-end
\ No newline at end of file
+end
-- 
cgit v1.2.3

