src/HOL/Library/Phantom_Type.thy
changeset 49322 fbb320d02420
parent 48163 f0ecc1550998
child 51301 6822aa82aafa