Florian: Do you really need to distinguish model and variable assignment?
A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.-z4t3oa%7Ee55f4ebf
The issue as described by the user:
I know you like it that way because it looks like HOL.
But it makes the presentation so much more complicated without any discernible gain.
The text highlighted while reporting this issue:
variable assignment
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/pl0/slides/pl0-semantics.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/pl0-semantics.en.xhtml&bindings=0_3_VvEMyu -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog-formal.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog-formal.en.xhtml&bindings=0_0_RYhK -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog.en.xhtml&bindings=0_0_QhI -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/sec/krinf.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/sec/krinf.en.xhtml&bindings=0_0_OE -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtml