| Tue, 22 May 2018 11:08:37 +0200 | nipkow | First step to remove nonstandard "[x <- xs. P]" syntax: only input | changeset | files |
| 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 |