src/HOL/Algebra/Module.thy
changeset 68552 391e89e03eef
parent 68551 b680e74eb6f2
child 68581 0793e5ad25ec
     1.1 --- a/src/HOL/Algebra/Module.thy	Sat Jun 30 15:44:04 2018 +0100
     1.2 +++ b/src/HOL/Algebra/Module.thy	Sat Jun 30 18:58:13 2018 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  (*  Title:      HOL/Algebra/Module.thy
     1.5      Author:     Clemens Ballarin, started 15 April 2003
     1.6 -    Copyright:  Clemens Ballarin
     1.7 +		with contributions by Martin Baillon
     1.8  *)
     1.9  
    1.10  theory Module