Skip to content
This repository has been archived by the owner on Oct 14, 2023. It is now read-only.

feat(library/type_context): unfold lemmas in major premise of acc.rec #1680

Closed
wants to merge 1 commit into from
Closed

feat(library/type_context): unfold lemmas in major premise of acc.rec #1680

wants to merge 1 commit into from

Commits on Jun 19, 2017

  1. feat(library/type_context): unfold lemmas in major premise of acc.rec

    @gebner
    gebner committed Jun 19, 2017
    Configuration menu
    Copy the full SHA
    130e66d View commit details
    Browse the repository at this point in the history