BookWood

SMT Translation naming conflicts

2

## Description The SMT translation names a function parameter "length" to a function "length", which conflicts with the length function for objects. ## Reproducible always ### Steps to reproduce 1....

Isabelle Translation

1

## Related Issue This pull request addresses #. ## Intended Change Adds a plugin, which allows the user to automatically translate a KeY sequent to an Isabelle theory and run...