Isabelle/HOL translation: the isabelle-ignore
pragma
#8156
Job | Run time |
---|---|
42m 25s | |
0s | |
35s | |
14s | |
43m 14s |
isabelle-ignore
pragma
#8156
Job | Run time |
---|---|
42m 25s | |
0s | |
35s | |
14s | |
43m 14s |