src/ZF/OrdQuant.thy
changeset 41777 1f7cbe39d425
parent 38715 6513ea67d95d
child 42455 6702c984bf5a
     1.1 --- a/src/ZF/OrdQuant.thy	Fri Feb 18 16:11:58 2011 +0100
     1.2 +++ b/src/ZF/OrdQuant.thy	Fri Feb 18 16:22:27 2011 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      ZF/AC/OrdQuant.thy
     1.5 +(*  Title:      ZF/OrdQuant.thy
     1.6      Authors:    Krzysztof Grabczewski and L C Paulson
     1.7  *)
     1.8