src/ZF/Perm.thy
author wenzelm
Fri, 06 May 2011 17:52:08 +0200
changeset 42711 159c4d1d4c42
parent 41160 be34449f6cba
child 45602