diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2016-08-05 16:09:33 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2016-08-05 16:09:33 -0400 |
| commit | bd6f549a527856db3878f1586c6666646a45d8ee (patch) | |
| tree | 7f469b8134752c8063c16de15520e1ef0ee29928 /lib/ur/basis.urs | |
| parent | 35ec01ca26cddee7f3acc5db528800bbf327b170 (diff) | |
New release
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions