Thu, 06 Sep 2018 14:08:35 +0200 | wenzelm | simplified signature (again, see 751bcf0473a7): e.g. relevant for non-Isabelle ML environments; | file | diff | annotate |
Thu, 14 Dec 2017 21:40:43 +0100 | wenzelm | minor performance tuning, notably for Library.fold_string etc.; | file | diff | annotate |
Thu, 14 Dec 2017 21:31:54 +0100 | wenzelm | clarified file name; | file | diff | annotate | base |