src/HOL/Wfrec.thy
changeset 55210 d1e3b708d74b
parent 55017 2df6ad1dbd66
child 58184 db1381d811ab
     1.1 --- a/src/HOL/Wfrec.thy	Fri Jan 31 13:45:39 2014 +0100
     1.2 +++ b/src/HOL/Wfrec.thy	Fri Jan 31 14:33:02 2014 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/Library/Wfrec.thy
     1.5 +(*  Title:      HOL/Wfrec.thy
     1.6      Author:     Tobias Nipkow
     1.7      Author:     Lawrence C Paulson
     1.8      Author:     Konrad Slind