http://www.higherorderlogic.com
Higher Order Logic
Steve Freeman
Source code for the book, "Growing Object-Oriented Software, Guided by Tests"
sf105
