src/ZF/AC/AC17_AC1.thy
changeset 41777 1f7cbe39d425
parent 32960 69916a850301
child 46822 95f1e700b712
     1.1 --- a/src/ZF/AC/AC17_AC1.thy	Fri Feb 18 16:11:58 2011 +0100
     1.2 +++ b/src/ZF/AC/AC17_AC1.thy	Fri Feb 18 16:22:27 2011 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      ZF/AC/AC1_AC17.thy
     1.5 +(*  Title:      ZF/AC/AC17_AC1.thy
     1.6      Author:     Krzysztof Grabczewski
     1.7  
     1.8  The equivalence of AC0, AC1 and AC17