Isabelle/HOL translation: the isabelle-ignore
pragma
#8147
Job | Run time |
---|---|
3m 21s | |
11s | |
26s | |
0s | |
3m 58s |
isabelle-ignore
pragma
#8147
Job | Run time |
---|---|
3m 21s | |
11s | |
26s | |
0s | |
3m 58s |