Commits · master · Philip Kaludercic / thprog-ss19

08 Oct, 2021 1 commit
- Merge branch 'in53uqud-master-patch-37570' into 'master' · 78f42c9a
  Philip Kaludercic authored Oct 08, 2021
```
fix typo korekursion.tex

See merge request !3
```
  78f42c9a
07 Oct, 2021 1 commit
- fix typo korekursion.tex · dcfd1b9c
  Daniel Langbein authored Oct 07, 2021
  
  dcfd1b9c
28 Oct, 2019 4 commits
- korekursion: fixed tex typo · 5974fe08
  Philip Kaludercic authored Oct 28, 2019
  
  5974fe08
- korekursion: corrected number of points given for first task · 87d75d58
  Philip Kaludercic authored Oct 28, 2019
  
  87d75d58
- strukturell: applied new input from realisation · fae42b03
  Philip Kaludercic authored Oct 28, 2019
  
  fae42b03
- korekursion: applied new input from understanding · 40d988b5
  Philip Kaludercic authored Oct 28, 2019
  
  40d988b5
16 Oct, 2019 1 commit
- made all point counts in headings small · a0062511
  Philip Kaludercic authored Oct 16, 2019
  
  a0062511
13 Oct, 2019 11 commits
- gitignore: added prefix-generated files · a853ff48
  Philip Kaludercic authored Oct 13, 2019
  
  a853ff48
- korekursion: fixed example · 80b41077
  Philip Kaludercic authored Oct 13, 2019
  
  80b41077
- strukturell: attempted to standardise font-usage · 6b943bca
  Philip Kaludercic authored Oct 13, 2019
  
  6b943bca
- Merge branch 'master' into 'master' · 6122bf92
  Philip Kaludercic authored Oct 13, 2019
```
Improve Strukturelle Induktion

See merge request !2
```
  6122bf92
- Improve Strukturelle Induktion · 58d74750
  Florian Kothmeier authored Oct 13, 2019
  
  58d74750
- termersetzung: swapped x and y in result of rule 1.1 · e47d02a9
  Philip Kaludercic authored Oct 13, 2019
  
  e47d02a9
- termersetzung: replaced 'Z' with '|' in unary · e2fa7640
  Philip Kaludercic authored Oct 13, 2019
  
  e2fa7640
- korekursion: added example for layers · c5383200
  Philip Kaludercic authored Oct 13, 2019
  
  c5383200
- master: updated package list · 45f58d92
  Philip Kaludercic authored Oct 13, 2019
  
  45f58d92
- miscellaneous fixes · a169a5bf
  Philip Kaludercic authored Oct 13, 2019
  
  a169a5bf
- strukturell: wrote up initial draft · ace9f2bc
  Philip Kaludercic authored Oct 13, 2019
  
  ace9f2bc
12 Oct, 2019 11 commits
- system-f: wrote up initial draft · 58d5344e
  Philip Kaludercic authored Oct 13, 2019
  
  58d5344e
- termersetzung: wrote up initial draft · ccf0b870
  Philip Kaludercic authored Oct 12, 2019
  
  ccf0b870
- wrapped and indented all text · 7291164e
  Philip Kaludercic authored Oct 12, 2019
  
  7291164e
- replaced all marginpars with points macro · 360b39bf
  Philip Kaludercic authored Oct 12, 2019
  
  360b39bf
- automata: added boilerplate from probeklausur · 254f7647
  Philip Kaludercic authored Oct 12, 2019
  
  254f7647
- automata: moved q8 from 2,5 to 2,4 · 7e108d64
  Philip Kaludercic authored Oct 12, 2019
  
  7e108d64
- added auctex blocks to the ends of all files · b2eee841
  Philip Kaludercic authored Oct 12, 2019
  
  b2eee841
- Merge branch 'master' into 'master' · 072f7ab8
  Philip Kaludercic authored Oct 12, 2019
```
4 + 5 und Punkte für den Rest

See merge request !1
```
  072f7ab8
- Add Points to remaining questions · 08a18f5c
  Florian Kothmeier authored Oct 12, 2019
  
  08a18f5c
- Add Korekursion · fa4220a5
  Florian Kothmeier authored Oct 12, 2019
  
  fa4220a5
- Add Automatenminimierung · 758e6c92
  Florian Kothmeier authored Oct 12, 2019
  
  758e6c92
11 Oct, 2019 1 commit
- initial commit · 03b866de
  Philip Kaludercic authored Oct 11, 2019
  
  03b866de