K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2015-03-01T21:14:57.016893Z
K 7
svn:log
V 166
math/why: remove hidden references to math/isabelle

There was a placeholder to support isabelle, but the port is being
removed so let's just remove the placeholder.

END