| Wed, 17 Jul 2019 14:02:42 +0100 | paulson | a few new lemmas and a bit of tidying | changeset | files |
| Tue, 16 Jul 2019 15:39:32 +0200 | wenzelm | support for a soft-type system within the Isabelle logical framework; | changeset | files |
| Thu, 11 Jul 2019 18:37:52 +0200 | nipkow | tuned | changeset | files |
| Thu, 04 Jul 2019 14:20:47 +0200 | wenzelm | proper theory naming after join (reset due to merge_data); | changeset | files |
| Thu, 04 Jul 2019 12:31:24 +0200 | wenzelm | support join of anonymous theory nodes, e.g. relevant for parallel theory construction; | changeset | files |
| Thu, 04 Jul 2019 11:26:00 +0200 | wenzelm | clarified history stage: allow independent updates that are merged later; | changeset | files |
| Mon, 24 Jun 2019 16:26:25 +0200 | wenzelm | support abstract syntax for proof terms (see src/Pure/Proofs/proof_syntax.ML); | changeset | files |