Merge branch 'new' of gitlab.mpi-sws.org:FP/semantics-course into new

LICENSE

STRUCTURE.md

_CoqProject

theories/program_logics/concurrency.v

theories/program_logics/concurrent_logrel/adequacy.v

theories/program_logics/concurrent_logrel/logrel.v

theories/program_logics/concurrent_logrel/syntactic.v

theories/program_logics/fupd.v

theories/program_logics/heap_lang/adequacy.v

theories/program_logics/heap_lang/derived_laws.v

theories/program_logics/heap_lang/primitive_laws.v

theories/program_logics/heap_lang/primitive_laws_nolater.v

theories/program_logics/heap_lang/proofmode.v

theories/program_logics/hoare.v

theories/program_logics/hoare_lib.v

theories/program_logics/invariant_lib.v

theories/program_logics/ipm.v

theories/program_logics/later_loeb.v

theories/program_logics/logrel/adequacy.v

theories/program_logics/logrel/ghost_state.v