Sun, 03 Mar 2019 20:27:42 +0100 | wenzelm | tuned signature; | changeset | files |
Sun, 03 Mar 2019 20:13:25 +0100 | wenzelm | clarified signature -- allow more re-use; | changeset | files |
Sun, 03 Mar 2019 19:30:17 +0100 | wenzelm | concrete predicates from "Dublin Core"; | changeset | files |
Sun, 03 Mar 2019 19:12:28 +0100 | wenzelm | clarified signature; | changeset | files |