changeset 68776 | 403dd13cf6e9 |
parent 67406 | 23307fd33906 |
--- a/src/HOL/IMP/Poly_Types.thy Fri Aug 17 11:26:35 2018 +0000 +++ b/src/HOL/IMP/Poly_Types.thy Mon Aug 20 20:54:26 2018 +0200 @@ -1,6 +1,6 @@ -theory Poly_Types imports Types begin +subsection "Type Variables" -subsection "Type Variables" +theory Poly_Types imports Types begin datatype ty = Ity | Rty | TV nat