Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
eliminated hard TABs, assuming tabsize=8;
authorwenzelm
Tue, 03 Jul 2018 10:49:44 +0200
changeset 68581 0793e5ad25ec
parent 68580 a3723b11bd60
child 68582 b9b9e2985878
eliminated hard TABs, assuming tabsize=8;
src/HOL/Algebra/Module.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle