| 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 |