Thu, 15 Aug 2019 16:02:47 +0200 | wenzelm | support for (fully reconstructed) proof terms in Scala; | changeset | files |
Thu, 15 Aug 2019 16:11:56 +0100 | paulson | new material; rotated premises of Lim_transform_eventually | changeset | files |
Wed, 14 Aug 2019 19:50:23 +0200 | wenzelm | clarified name context for abstractions -- in contrast to 367e60d9aa1b and Term.variant_frees (*as they are printed :-*); | changeset | files |