diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 12:22:56 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 12:22:56 +0000 |
| commit | c3ff5305c30cdf31755972df4c3dc554d5246ae9 (patch) | |
| tree | ccc7836dff048e1dc2f0bdac6c5644a9c7fe7a25 /src/test/scala/uk | |
| parent | d24365ffde5cf402c173901e3ffdd05c6c786edc (diff) | |
| download | RSAComb-c3ff5305c30cdf31755972df4c3dc554d5246ae9.tar.gz RSAComb-c3ff5305c30cdf31755972df4c3dc554d5246ae9.zip | |
Include literals in instances of `Named` internal predicate
Diffstat (limited to 'src/test/scala/uk')
0 files changed, 0 insertions, 0 deletions