diff LICENSE @ 843:c19085585464

many changes to kouh2008
author James Bergstra <bergstrj@iro.umontreal.ca>
date Thu, 22 Oct 2009 18:53:50 -0400
parents 798607a058bd
children 01063efe409f
line wrap: on
line diff