| Mon, 21 May 2018 18:36:30 +0200 | nipkow | no longer necessary | changeset | files |
| Sun, 20 May 2018 22:10:30 +0100 | paulson | merged | changeset | files |
| Sun, 20 May 2018 22:10:21 +0100 | paulson | correcting the statements of the MVTs | changeset | files |
| Sun, 20 May 2018 20:14:30 +0100 | paulson | one last fix | changeset | files |
| Sun, 20 May 2018 18:37:34 +0100 | paulson | tidy up of Derivative | changeset | files |
| Sun, 20 May 2018 22:04:46 +0200 | wenzelm | avoid undeclared frees; | changeset | files |
| Sun, 20 May 2018 22:04:17 +0200 | wenzelm | removed junk; | changeset | files |
| Sun, 20 May 2018 21:12:23 +0200 | wenzelm | avoid dangling tfrees; | changeset | files |
| Sun, 20 May 2018 20:37:11 +0200 | wenzelm | standardize implicit variables: non-zero indexes do occur occasionally, e.g. via RS; | changeset | files |
| Sun, 20 May 2018 20:31:40 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 20 May 2018 18:45:18 +0200 | wenzelm | avoid undeclared frees; | changeset | files |
| Sun, 20 May 2018 16:25:27 +0200 | wenzelm | export facts; | changeset | files |
| Sun, 20 May 2018 15:37:16 +0200 | wenzelm | clarified encoding; | changeset | files |
| Sun, 20 May 2018 15:28:59 +0200 | wenzelm | more scalable; | changeset | files |