diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-12-09 17:25:53 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-12-09 17:25:53 -0500 |
| commit | e92b616737083d2f847db38c9cb8918f96595a04 (patch) | |
| tree | 42a98dfa7c7fef29d0f0f0621671617376172100 /lib/ur/basis.urs | |
| parent | 31ab9f8c18c9e071392090960a8041febf7a2807 (diff) | |
| parent | 377d1b9ccdf923b6803dc63a66babd90f08ba3f7 (diff) | |
Merge
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions