# HG changeset patch
# User wenzelm
# Date 1530607784 -7200
# Node ID 0793e5ad25eca35bd04d2332b8460e3ca5c004a9
# Parent  a3723b11bd60390b9948e1586104cda57c6fdbee
eliminated hard TABs, assuming tabsize=8;

diff -r a3723b11bd60 -r 0793e5ad25ec src/HOL/Algebra/Module.thy
--- a/src/HOL/Algebra/Module.thy	Tue Jul 03 00:15:16 2018 +0100
+++ b/src/HOL/Algebra/Module.thy	Tue Jul 03 10:49:44 2018 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOL/Algebra/Module.thy
     Author:     Clemens Ballarin, started 15 April 2003
-		with contributions by Martin Baillon
+                with contributions by Martin Baillon
 *)
 
 theory Module