Skip to content
Snippets Groups Projects

Add bind_let rule

Merged Add bind_let rule
add/bind_let into master
All threads resolved!
Merged Hans-Jörg requested to merge add/bind_let into master
All threads resolved!
Viewing commit e0f6ccaf
Next
Show latest version
Compare changes
  • Side-by-side
  • Inline
Files
1
  • e0f6ccaf
    Hans-Jörg
    Add bind_let rule · e0f6ccaf
    Hans-Jörg authored 
    This rule is used by Carcara's elaborator when eliminating the
implicit use of symmetry of equality.