src/HOL/Library/FuncSet.thy
changeset 68189 6163c90694ef
parent 68188 2af1f142f855
child 68687 2976a4a3b126
     1.1 --- a/src/HOL/Library/FuncSet.thy	Tue May 15 11:33:43 2018 +0200
     1.2 +++ b/src/HOL/Library/FuncSet.thy	Tue May 15 13:57:39 2018 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/FuncSet.thy
     1.5 +(*  Title:      HOL/Library/FuncSet.thy
     1.6      Author:     Florian Kammueller and Lawrence C Paulson, Lukas Bulwahn
     1.7  *)
     1.8