Skip to content
  • Dan Frumin's avatar
    Clean up some proofs · 9b373cca
    Dan Frumin authored
    - rename `bin_log_related_bind_l` to `bin_log_related_wp_l`
    - use `bin_log_related_wp_l` to simplify derived rules
    9b373cca