Commits · 350c73724b3975e48b70233193961e2784feb12e · Michael Sammler / GQM-Coq

Jun 14, 2018
- section 2 with infinite carrier · 350c7372
  Mackie Loeffel authored 6 years ago
  
  350c7372
Jun 13, 2018
- first failed version with finite · d0e81185
  Mackie Loeffel authored 6 years ago
  
  d0e81185
Jun 08, 2018
- Merge branch 'docu' into 'master' · f6caaa4c
  Michael Sammler authored 6 years ago
  
  Docu See merge request !2
  f6caaa4c
- documented code · 8c17ca5a
  Mackie Loeffel authored 6 years ago
  
  8c17ca5a
- renamed Section5 -> Section5AppendixA and Section5WithContext -> Section5 · dfeba7b1
  Mackie Loeffel authored 6 years ago
  
  dfeba7b1
- some more docu · a2c166b2
  Mackie Loeffel authored 6 years ago
  
  a2c166b2
- use more eauto in GQMClassical · d2d0034a
  Mackie Loeffel authored 6 years ago
  
  d2d0034a
Jun 06, 2018
- removed LibTactics · d26c0590
  Mackie Loeffel authored 6 years ago
  
  d26c0590
- more readme · cfc253f1
  Mackie Loeffel authored 6 years ago
  
  cfc253f1
- test readme · 92ebd7de
  Mackie Loeffel authored 6 years ago
  
  92ebd7de
Jun 04, 2018
- small simplifications · e6eb037e
  Mackie Loeffel authored 6 years ago
  
  e6eb037e
Jun 03, 2018
- finished Lemma 8.4.(ii) · f43e178c
  Mackie Loeffel authored 6 years ago
  
  f43e178c
Jun 02, 2018
- started section8 · 85df7977
  Mackie Loeffel authored 6 years ago
  
  85df7977
May 30, 2018
- Revert "added setoid test" · 1760a207
  Mackie Loeffel authored 6 years ago
  
  This reverts commit e7ec4a09.
  1760a207
- added setoid test · e7ec4a09
  Mackie Loeffel authored 6 years ago
  
  e7ec4a09
May 29, 2018
- dir locals and definitions for fo and baea · 2ca7dffa
  Mackie Loeffel authored 6 years ago
  
  2ca7dffa
- started BAEA and FO · a60810a1
  Mackie Loeffel authored 6 years ago
  
  a60810a1
May 28, 2018
- removed special case for Bot in find_gqm_in_cnfwp · 37988637
  Mackie Loeffel authored 6 years ago
  
  37988637
May 27, 2018
- finished Section 7 · 0d3016ab
  Mackie Loeffel authored 6 years ago
  
  0d3016ab
- finished lemma 7 4 · cedad07f
  Mackie Loeffel authored 6 years ago
  
  cedad07f
- proved boy case · c6eefdca
  Mackie Loeffel authored 6 years ago
  
  c6eefdca
May 26, 2018
- Merge branch 'setoid' · 8843bb99
  Mackie Loeffel authored 6 years ago
  
  8843bb99
- finished change to setoid_rewrite · b45f0f30
  Mackie Loeffel authored 6 years ago
  
  b45f0f30
- section 7 appendix A · 82320d52
  Mackie Loeffel authored 6 years ago
  
  82320d52
May 25, 2018
- started switch to setoid_rewrite · 5984a2f1
  Mackie Loeffel authored 6 years ago
  
  5984a2f1
May 24, 2018
- started with setoid · 4b57abfa
  Mackie Loeffel authored 6 years ago
  
  4b57abfa
May 23, 2018
- revert one view · 39d0b2fa
  Mackie Loeffel authored 6 years ago
  
  39d0b2fa
- use views · 9132378d
  Mackie Loeffel authored 6 years ago
  
  9132378d
- use elim with view for custom induction · 9616a0d1
  Mackie Loeffel authored 6 years ago
  
  9616a0d1
May 22, 2018
- tried to continue with lemma_7_4_1 · b699c16b
  Mackie Loeffel authored 6 years ago
  
  b699c16b
May 21, 2018
- lemma 7_4_1 imp · e1b6e218
  Mackie Loeffel authored 6 years ago
  
  e1b6e218
May 20, 2018
- finished lemma 7.3 · 5bf7f2cb
  Mackie Loeffel authored 6 years ago
  
  5bf7f2cb
May 19, 2018
- refactored lemma_7_3_2" · f5120a25
  Mackie Loeffel authored 6 years ago
  
  f5120a25
- Merge branch 'lemma_7_3_2' · 38a75157
  Mackie Loeffel authored 6 years ago
  
  38a75157
- added bigandor · e5967bdf
  Mackie Loeffel authored 6 years ago
  
  e5967bdf
- finished lemma 7 3 2 · 339ab174
  Mackie Loeffel authored 6 years ago
  
  339ab174
May 18, 2018
- third try · 07bfaba3
  Mackie Loeffel authored 6 years ago
  
  07bfaba3
- second try · cb8c2126
  Mackie Loeffel authored 6 years ago
  
  cb8c2126
- first try · 82fb6c71
  Mackie Loeffel authored 6 years ago
  
  82fb6c71
May 17, 2018
- added andOr and generalized 7_3_1 · f3ae99a9
  Mackie Loeffel authored 6 years ago
  
  f3ae99a9