"repealed law"
means an Act mentioned in
section 172(4)
, or a public regulation made in terms of such an Act;