diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-04 17:21:32 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-04 17:21:32 +0000 |
| commit | f8ec91676cfdeefc302100033a1b38167d01490f (patch) | |
| tree | 8ca6d7e4652893ab7ad30fd0dfb509a6ad96cd3e /project | |
| parent | a808ae8b3dd945fd7aa485cd02bfb7229cb8331d (diff) | |
| download | RSAComb-f8ec91676cfdeefc302100033a1b38167d01490f.tar.gz RSAComb-f8ec91676cfdeefc302100033a1b38167d01490f.zip | |
Fix axiom skolemization
Skolemization should be uniquely bound to the axiom being skolemized.
When an axiom is a shortcut for a set of axioms, the skolemization
strategy should be updated with the new axiom(s).
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions