src/HOL/Library/Phantom_Type.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-09-19 Andreas Lochbihler 2014-09-19 merged
2014-09-18 Andreas Lochbihler 2014-09-18 add lemma
2014-09-18 blanchet 2014-09-18 use selector
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
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