src/HOL/Library/Phantom_Type.thy
2013-05-25 wenzelm 2013-05-25 tuned;
2013-05-25 wenzelm 2013-05-25 syntax translations always depend on context;
2013-03-26 wenzelm 2013-03-26 tuned imports;
2013-03-08 kuncar 2013-03-08 setup_lifting doesn't support a type variable as a raw type
2013-02-28 wenzelm 2013-02-28 simplified imports;
2012-06-28 Andreas Lochbihler 2012-06-28 add generic phantom type