Commits · master · Software / dnegmod

Browse files

Apr 20, 2017
- added corrected version of the conference contribution · 8d16de0f
  litak authored Apr 20, 2017
  
  8d16de0f
- and a wrong reference name · 2461b12a
  litak authored Apr 20, 2017
  
  2461b12a
- corrected wrong name · 49d32b31
  litak authored Apr 20, 2017
  
  49d32b31
Apr 13, 2017
- Merge branch 'master' of cal8.cs.fau.de:dnegmod · 5d1a6118
  Ulrich authored Apr 13, 2017
  
  5d1a6118
- finished the box case · 1d874525
  Ulrich authored Apr 13, 2017
  
  1d874525
- Merge branch 'master' of cal8.cs.fau.de:dnegmod · 947405a1
  litak authored Apr 13, 2017
  
  947405a1
- edits to fix terminology etc · 28d67815
  litak authored Apr 13, 2017
  
  28d67815
Apr 12, 2017
- only box case left · 23a593fd
  Ulrich authored Apr 12, 2017
  
  23a593fd
Apr 11, 2017
- started with hilbert style equality · 3b68d0f6
  Ulrich authored Apr 11, 2017
  
  3b68d0f6
- fixed the broken bottom rule · 28fe2386
  Ulrich authored Apr 11, 2017
  
  28fe2386
- fixed the coq8.6 issue · e7d3a2cf
  Ulrich authored Apr 11, 2017
  
  e7d3a2cf
Apr 07, 2017
- more fixes · 0e730222
  litak authored Apr 07, 2017
  
  0e730222
- fixed kuroda · 7549380b
  litak authored Apr 07, 2017
  
  7549380b
- stable shape after some edits · 855d84d3
  litak authored Apr 07, 2017
  
  855d84d3
Apr 06, 2017
- fixed names · 7e4a131b
  litak authored Apr 06, 2017
  
  7e4a131b
Nov 08, 2016
- changed a view formulations · 7066bd5c
  Miriam authored Nov 08, 2016
  
  7066bd5c
Nov 07, 2016
- possibly final changes on the slides · cde7218a
  Ulrich authored Nov 07, 2016
  
  cde7218a
Nov 05, 2016
- some more suggested modifications · 157bddff
  litak authored Nov 05, 2016
  
  157bddff
- added some suggestions · ba49ddb0
  litak authored Nov 05, 2016
  
  ba49ddb0
Nov 04, 2016
- minor · dfb96891
  Ulrich authored Nov 04, 2016
  
  dfb96891
Nov 03, 2016
- comment on tautologies · db0dd28e
  Miriam authored Nov 03, 2016
  
  db0dd28e
Oct 28, 2016
- minor · f19927c8
  Ulrich authored Oct 28, 2016
  
  f19927c8
- work in progrss · 2dfa8d25
  Ulrich authored Oct 28, 2016
  
  2dfa8d25
Oct 27, 2016
- presentation draft finished · 3b1b5046
  Miriam authored Oct 27, 2016
  
  3b1b5046
Oct 26, 2016
- merge · a90c51a8
  Miriam authored Oct 26, 2016
  
  a90c51a8
- merge presentation parts · 78a8fbfc
  Miriam authored Oct 26, 2016
  
  78a8fbfc
- working on presentation · 450bcdcb
  Miriam Polzer authored Oct 26, 2016
  
  450bcdcb
Oct 25, 2016
- minor · ca47dc2d
  Ulrich authored Oct 25, 2016
  
  ca47dc2d
Oct 24, 2016
- Merge branch 'master' of cal8.cs.fau.de:dnegmod · aeae78e0
  Miriam Polzer authored Oct 24, 2016
  
  aeae78e0
- presentation · 474a959a
  Miriam Polzer authored Oct 24, 2016
  
  474a959a
- minor · 77cbb5d4
  Ulrich Rabenstein authored Oct 24, 2016
  
  77cbb5d4
Oct 22, 2016
- work in progress · 5b9180c4
  Ulrich authored Oct 23, 2016
  
  5b9180c4
Oct 20, 2016
- added some definitions / theorems · b62dbf41
  Ulrich Rabenstein authored Oct 20, 2016
  
  b62dbf41
- baut jetzt auch · f60b52c3
  Ulrich Rabenstein authored Oct 20, 2016
  
  f60b52c3
- talk init · 870458b6
  Ulrich Rabenstein authored Oct 20, 2016
  
  870458b6
Oct 04, 2016
- the project builds again + minor textual changes · ee1fe9d4
  Ulrich authored Oct 04, 2016
  
  ee1fe9d4
Oct 03, 2016
- changed comment about the disjunction, box free and shallow remains · c0e4dfe9
  Miriam authored Oct 04, 2016
  
  c0e4dfe9
- Merge branch 'master' of cal8.cs.fau.de:dnegmod · ff26261e
  Miriam authored Oct 04, 2016
  
  ff26261e
- merge · e3583c2c
  Miriam authored Oct 04, 2016
  
  e3583c2c
Sep 15, 2016
- spellchecked everyhting · 3d92ffa5
  Miriam Polzer authored Sep 15, 2016
  
  3d92ffa5