src/HOL/Library/Phantom_Type.thy
2012-06-28 Andreas Lochbihler 2012-06-28 add generic phantom type