UniMath copyright and license
=============================

UniMath consists of the files in the UniMath github repository at
https://github.com/UniMath/UniMath .

UniMath is copyright 2015 by the UniMath Development Team, whose members are
listed at https://github.com/UniMath/UniMath in the file README.md .

Permission is hereby granted, free of charge, to any person obtaining a copy of
UniMath, to deal in UniMath without restriction, including without limitation
the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
sell copies of UniMath, and to permit persons to whom UniMath is furnished to
do so, subject to the following conditions:

* This copyright and license shall be included in all copies or substantial
  portions of the Software.

