| Fri, 27 Jul 2018 23:04:27 +0200 | wenzelm | removed junk; | file | diff | annotate |
| Thu, 07 Jun 2018 19:36:12 +0200 | nipkow | utilize 'flip' | file | diff | annotate |
| Fri, 18 May 2018 17:51:58 +0200 | Manuel Eberl | Moved Landau_Symbols from the AFP to HOL-Library | file | diff | annotate |