Thu, 19 Jun 2008 20:48:02 +0200 | wenzelm | export read_typ/cert_typ -- version with regular context operations; | changeset | files |
Thu, 19 Jun 2008 20:48:01 +0200 | wenzelm | export read_typ/cert_typ -- version with regular context operations; | changeset | files |
Thu, 19 Jun 2008 20:48:00 +0200 | wenzelm | tuned signature; | changeset | files |
Thu, 19 Jun 2008 20:47:58 +0200 | wenzelm | removed duplicate of DatatypePackage.read_typ; | changeset | files |
Thu, 19 Jun 2008 20:34:28 +0200 | huffman | add lemma cfcomp_LAM | changeset | files |
Thu, 19 Jun 2008 17:32:18 +0200 | wenzelm | add_abbrev: check tfrees of rhs, not tvars (addresses a lapse introduced in 1.65); | changeset | files |