| Tue, 20 Jun 2017 13:07:47 +0200 | haftmann | avoid ancient [code, code del] antipattern | file | diff | annotate |
| Sat, 17 Oct 2015 13:18:43 +0200 | haftmann | qualify some names stemming from internal bootstrap constructions | file | diff | annotate |
| Fri, 04 Sep 2015 19:22:13 +0200 | wenzelm | modernized name space management -- more uniform qualification; | file | diff | annotate |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Sat, 08 Aug 2015 10:51:33 +0200 | haftmann | direct bootstrap of integer division from natural division | file | diff | annotate |
| Wed, 17 Jun 2015 11:03:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |