Wed, 07 Nov 2018 14:03:47 +0100 | wenzelm | proper ghc_setup / ocaml_setup on target Isabelle distribution (amending 2a17c481d05e); | changeset | files |
Wed, 07 Nov 2018 11:08:12 +0000 | haftmann | dedicated examples for sorting | changeset | files |
Wed, 07 Nov 2018 11:08:11 +0000 | haftmann | more direct implementations of comparators | changeset | files |