Commit 56db7582 authored by Lennard Gäher's avatar Lennard Gäher
Browse files

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

parents d9c7cf1c 3e802d69
......@@ -100,7 +100,7 @@ theories/axiomatic/heap_lang/primitive_laws_nolater.v
theories/axiomatic/hoare_lib.v
theories/axiomatic/hoare.v
theories/axiomatic/ipm.v
theories/axiomatic/later_löb.v
theories/axiomatic/later_loeb.v
theories/axiomatic/ipm_sol.v
theories/axiomatic/hoare_sol.v
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment