Commit 9bf17942 authored by mbk-50-72's avatar mbk-50-72
Browse files

umlauts

parent ffda248f
......@@ -99,7 +99,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
......
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