| Thu, 15 Feb 2018 12:11:00 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 12 Jan 2018 14:08:53 +0100 | wenzelm | isabelle update_cartouches -c; | file | diff | annotate |
| Tue, 10 Mar 2015 15:20:40 +0000 | paulson | Removal of the file HOL/Number_Theory/Binomial!! And class field_char_0 now declared in Int.thy | file | diff | annotate |