| Thu, 11 Mar 2021 07:05:38 +0000 | haftmann | avoid name clash | file | diff | annotate |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Wed, 06 Jun 2018 11:12:37 +0200 | nipkow | Keep filter input syntax | file | diff | annotate |
| Tue, 29 May 2018 14:05:59 +0200 | nipkow | canonical names | file | diff | annotate |
| Tue, 22 May 2018 11:08:37 +0200 | nipkow | First step to remove nonstandard "[x <- xs. P]" syntax: only input | file | diff | annotate |
| Mon, 14 May 2018 18:19:35 +0200 | nipkow | more sorted cleaning | file | diff | annotate |
| Fri, 23 Feb 2018 08:02:56 +0100 | nipkow | simplified Radix_Sort | file | diff | annotate |
| Thu, 22 Feb 2018 19:48:01 +0100 | nipkow | simplified def of stable | file | diff | annotate |
| Wed, 14 Feb 2018 16:32:09 +0100 | nipkow | New theory ex/Radix_Sort.thy | file | diff | annotate |