|
|
2bf67d38dd
|
master > master: handnotizen woche10 - Formatierung in Sem 4.5 + "in E --> in E" Stil konsequenter gepflegt
|
2021-06-20 12:45:40 +02:00 |
|
|
|
d0c27e4599
|
master > master: handnotizen woche10 - Korrektur zum ∃-Fall in Sem 4.5
|
2021-06-20 11:48:18 +02:00 |
|
|
|
c64ea391fb
|
master > master: glossar
|
2021-06-19 09:50:52 +02:00 |
|
|
|
f615b359a0
|
master > master: glossar
|
2021-06-19 09:50:23 +02:00 |
|
|
|
55f259fe88
|
master > master: glossar - referenzen korrigiert, 𝒜 entfernt
|
2021-06-19 09:49:18 +02:00 |
|
|
|
39b0240a72
|
master > master: handnotizen woche10 - korrigierte 4.2(b) (wegen falscher Negation)
|
2021-06-18 18:24:44 +02:00 |
|
|
|
3838c13c81
|
master > master: glossar ergänzt
|
2021-06-17 12:18:02 +02:00 |
|
|
|
b979a31f88
|
master > master: handnotizen woche10 aufgeräumt + hw
|
2021-06-16 20:13:30 +02:00 |
|
|
|
a9ef6753ac
|
master > master: handnotizen woche10 - Textstruktur im 4.5 überarbeitet
|
2021-06-16 16:31:50 +02:00 |
|
|
|
254b670f31
|
master > master: handnotizen woche10
|
2021-06-16 15:09:30 +02:00 |
|
|
|
0d3f82e62c
|
master > master: README + link
|
2021-06-16 14:28:01 +02:00 |
|
|
|
e325efd88f
|
master > master: protokoll woche10
|
2021-06-16 13:34:10 +02:00 |
|
|
|
d142bb278c
|
master > master: protokoll woche10
|
2021-06-14 18:02:18 +02:00 |
|
|
|
bbbabad4cc
|
master > master: glossar
|
2021-06-14 18:02:01 +02:00 |
|
|
|
9a0db411ce
|
master > master: protokoll woche9
|
2021-06-09 12:51:33 +02:00 |
|
|
|
414fb81cee
|
master > master: README.md
|
2021-06-03 12:37:55 +02:00 |
|
|
|
6dad238736
|
master > master: README.md Aufzeichnungslinks hinzugefügt
|
2021-06-03 12:29:53 +02:00 |
|
|
|
24378b5055
|
master > master: README.md
|
2021-06-03 12:07:41 +02:00 |
|
|
|
5ae738d0fa
|
master > master: README.md
|
2021-06-03 12:05:42 +02:00 |
|
|
|
58bdde2cab
|
master > master: README.md voraussichtliche Erwähnungen von Klausur
|
2021-06-03 12:03:03 +02:00 |
|
|
|
f45c75e1f1
|
master > master: protokolle Vorlagen
|
2021-06-03 12:02:40 +02:00 |
|
|
|
7a62fb3daa
|
master > master: korrektur zu handnotizen woche8
|
2021-06-02 18:42:36 +02:00 |
|
|
|
bbfd77ad11
|
master > master: handnotizen woche8
|
2021-06-02 17:35:01 +02:00 |
|
|
|
9b8fab7c4d
|
master > master: protokoll verlinkung Notizen
|
2021-06-02 17:27:58 +02:00 |
|
|
|
3e4f74bcb5
|
master > master: protokoll woche8
|
2021-06-02 17:27:47 +02:00 |
|
|
|
162c476ce8
|
master > master: protokoll woche 8
|
2021-06-01 14:50:20 +02:00 |
|
|
|
7ddba5ab20
|
master > master: glossar - minor
|
2021-06-01 14:27:07 +02:00 |
|
|
|
a2263d0634
|
master > master: glossar sortierung
|
2021-06-01 14:26:21 +02:00 |
|
|
|
cfe8064e4f
|
master > master: glossar - disjunktionsglieder
|
2021-06-01 14:23:26 +02:00 |
|
|
|
1622c4384e
|
master > master: Verlinkung zum Glossar
|
2021-06-01 14:19:31 +02:00 |
|
|
|
5783c418bf
|
master > master: protokol woche 8
|
2021-06-01 14:13:23 +02:00 |
|
|
|
54b5a3a292
|
master > master: Überararbeitung von Protokollen (Formatierung)
|
2021-06-01 14:13:12 +02:00 |
|
|
|
618f463c93
|
master > master: glossar
|
2021-06-01 14:06:04 +02:00 |
|
|
|
46cc296956
|
master > master: protokoll woche 6
|
2021-05-19 13:12:09 +02:00 |
|
|
|
3d49ab9b7a
|
master > master: protokoll woche 6
|
2021-05-18 11:36:40 +02:00 |
|
|
|
f292d7e5dc
|
master > master: codego - utils + unit tests, A1[0-9]+ mit testen
|
2021-05-18 11:32:32 +02:00 |
|
|
|
2ab9b63a08
|
master > master: codego - Formulae package
|
2021-05-18 11:31:29 +02:00 |
|
|
|
4be6896a0f
|
master > master: codego - Grammatik
|
2021-05-18 11:31:01 +02:00 |
|
|
|
c48f703744
|
master > master: codego - test.sh
|
2021-05-18 11:30:27 +02:00 |
|
|
|
0b9378cea1
|
master > master: notes - Woche5 (bloß kosmetische Änderungen)
|
2021-05-15 12:12:46 +02:00 |
|
|
|
d877f3905c
|
master > master: codego - test nicht mehr wegen generics überspringen
|
2021-05-15 10:59:20 +02:00 |
|
|
|
38c4614e3e
|
master > master: codego - minor fix
|
2021-05-15 10:58:56 +02:00 |
|
|
|
888728d039
|
master > master: codego - generics schema
|
2021-05-15 10:58:23 +02:00 |
|
|
|
0856bfc0b0
|
master > master: codego - generics
|
2021-05-15 10:58:17 +02:00 |
|
|
|
b315e666b8
|
master > master: codego - test.sh (entfernte rm go.sum)
|
2021-05-15 00:06:01 +02:00 |
|
|
|
3b1c190543
|
master > master: codego - nnf für implies, iff
|
2021-05-15 00:05:42 +02:00 |
|
|
|
6d774a6a4c
|
master > master: codego - unittests
|
2021-05-15 00:05:26 +02:00 |
|
|
|
79bfcf57bb
|
master > master: codego - iff
|
2021-05-15 00:05:03 +02:00 |
|
|
|
9b225b0551
|
master > master: codego - minor cleanup
|
2021-05-14 19:23:53 +02:00 |
|
|
|
39be87d52f
|
master > master: codego - cleanup
|
2021-05-14 18:35:06 +02:00 |
|
