| 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 |
| Sun, 23 Jun 2019 13:42:16 +0000 | haftmann | proper quasi-total merge | changeset | files |
| Sat, 22 Jun 2019 16:23:25 +0200 | haftmann | made LaTeX happy | changeset | files |
| Sat, 22 Jun 2019 07:18:55 +0000 | haftmann | streamlined setup for linear algebra, particularly removed redundant rule declarations | changeset | files |
| Sat, 22 Jun 2019 06:25:34 +0000 | haftmann | tuned | changeset | files |
| Fri, 21 Jun 2019 18:55:00 +0000 | haftmann | tuned | changeset | files |
| Sun, 16 Jun 2019 16:40:57 +0000 | haftmann | even more appropriate fact name | changeset | files |