| Tue, 30 Jul 2013 15:09:25 +0200 | wenzelm | type theory is purely value-oriented; | file | diff | annotate |
| Tue, 09 Apr 2013 15:37:23 +0200 | wenzelm | more accurate documentation; | file | diff | annotate |
| Tue, 09 Apr 2013 15:29:25 +0200 | wenzelm | discontinued Toplevel.no_timing complication -- also recovers timing of diagnostic commands, e.g. 'find_theorems'; | file | diff | annotate |