| Mon, 21 Jan 2019 14:44:23 +0000 | paulson | new material about summations and powers, along with some tweaks | changeset | files |
| Sun, 20 Jan 2019 17:15:49 +0000 | haftmann | dedicated combinator for declarations nested in a local theory block | changeset | files |
| Sun, 20 Jan 2019 17:15:47 +0000 | haftmann | more conventional parsing of code_stmts antiquotation | changeset | files |
| Sun, 20 Jan 2019 17:14:35 +0000 | haftmann | more conventional syntax for code_stmts antiquotation | changeset | files |