| Tue, 22 May 2018 14:12:15 +0200 | nipkow | merged | changeset | files |
| Tue, 22 May 2018 14:12:03 +0200 | nipkow | removed unicode symbol | changeset | files |
| Fri, 18 May 2018 17:51:58 +0200 | Manuel Eberl | Moved Landau_Symbols from the AFP to HOL-Library | changeset | files |
| Tue, 22 May 2018 11:05:47 +0200 | wenzelm | merged | changeset | files |
| Sun, 20 May 2018 22:37:00 +0200 | wenzelm | more checks for global facts: disallow undeclared frees (as in Export_Theory.export_fact); | changeset | files |
| 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 |