diff src/Subset.v @ 528:dfe11a9ddfca

Add usask classes
author Adam Chlipala <adam@chlipala.net>
date Mon, 24 Mar 2014 17:37:41 -0400
parents b7419a10e52e
children 8921cfa2f503
line wrap: on
line diff