2015-07-18 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
2014-11-02 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
2014-10-29 | wenzelm | modernized setup; | file | diff | annotate |
2014-08-16 | wenzelm | updated to named_theorems; | file | diff | annotate |
2014-03-07 | blanchet | tuning | file | diff | annotate |
2014-01-20 | blanchet | moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain | file | diff | annotate |