| 2017-08-18 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
| 2016-05-26 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| 2014-11-02 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| 2014-10-14 | haftmann | purely algebraic characterization of even and odd | file | diff | annotate |
| 2013-10-31 | haftmann | purely algebraic foundation for even/odd | file | diff | annotate |
| 2013-02-15 | haftmann | attempt to re-establish conventions which theories are loaded into the grand unified library theory; | file | diff | annotate | base |