Commits · 989d30bd79cb154796589609328c83429d582e10 · Michael Sammler / GQM-Coq

May 02, 2018
- restructured stuff · 989d30bd
  Mackie Loeffel authored 6 years ago
  
  989d30bd
- made subst rewriteable · ae5987ff
  Mackie Loeffel authored 6 years ago
  
  ae5987ff
Apr 30, 2018
- use dneg_equiv · 46636b6f
  Mackie Loeffel authored 6 years ago
  
  46636b6f
- added rewriteable for both sides of imp · c91b880f
  Mackie Loeffel authored 6 years ago
  
  c91b880f
- started with hRewrite · 038397ba
  Mackie Loeffel authored 6 years ago
  
  038397ba
Apr 29, 2018
- added lemma_A_4_1 · 902d63b9
  Mackie Loeffel authored 6 years ago
  
  902d63b9
- finished lemma A.2 and started with some tactics · 61c6497d
  Mackie Loeffel authored 6 years ago
  
  61c6497d
Apr 26, 2018
- started section 5 · 605e744a
  Mackie Loeffel authored 6 years ago
  
  605e744a