mabdula/planning — pull request #2 by mn200 (2013-10-22 05:43:33+00:00)
Title: Update theory of the sublist relation.

Also use `open` to import the theories, which should be built with `Holmake`.