myuon

I have the file, here is the content: ``` PlatformConstants { pc_platformConstants = () , pc_CONTROL_GROUP_CONST_291 = 291 , pc_STD_HDR_SIZE = 1 , pc_PROF_HDR_SIZE = 2 , pc_BLOCK_SIZE = 4096...

Here is what I did. After applying the patch, I got another error: `fsh: No entry for "readelf command" in "/usr/lib/ghc/settings"`, so I added a line `("readelf command", "readelf")` to...

`value "finite {n ∈ ℕ}"` is True because `{n ∈ ℕ}` will be evaluated to `{True}` or `{False}`. (You can check `term "{n ∈ ℕ}"` and this must say a...

See below for the complete definitions of set comprehension syntax. I guess this case is parsed using `_Finset` syntax. https://isabelle.in.tum.de/dist/library/HOL/HOL/Set.html