src/HOL/Library/Phantom_Type.thy
Fri, 08 Mar 2013 13:21:55 +0100 kuncar setup_lifting doesn't support a type variable as a raw type
Thu, 28 Feb 2013 12:24:24 +0100 wenzelm simplified imports;
Thu, 28 Jun 2012 09:14:57 +0200 Andreas Lochbihler add generic phantom type
less more (0) tip