| Fri, 14 Apr 2023 21:34:51 +0200 | wenzelm | more operations, following Isabelle/ML conventions; | file | diff | annotate |
| Sat, 01 Apr 2023 19:15:38 +0200 | wenzelm | minor performance tuning; | file | diff | annotate |
| Sat, 16 Dec 2017 20:02:40 +0100 | wenzelm | more accurate parse_nat/parse_int: avoid corner cases of Int.fromString (e.g. "1.0"); | file | diff | annotate |
| Sat, 04 Nov 2017 12:25:09 +0100 | wenzelm | more portable print_time, notably for occasional negative (!) elapsed time of theory_timing; | file | diff | annotate |
| Mon, 05 Sep 2016 23:11:00 +0200 | wenzelm | clarified modules; | file | diff | annotate |