K 10
svn:author
V 7
wollman
K 8
svn:date
V 27
2001-11-16T16:01:04.000000Z
K 7
svn:log
V 63
Add `Theory' file from vendor (previously added on main line).

END