Isabelle/HOL translation: the isabelle-ignore
pragma
#8148
Job | Run time |
---|---|
42m 29s | |
27s | |
12s | |
0s | |
43m 8s |
isabelle-ignore
pragma
#8148
Job | Run time |
---|---|
42m 29s | |
27s | |
12s | |
0s | |
43m 8s |