Isabelle/HOL translation: fix undefined identifiers due to syntax alias
#8462
Job | Run time |
---|---|
0s | |
2m 28s | |
49m 9s | |
27s | |
52m 4s |
syntax alias
#8462
Job | Run time |
---|---|
0s | |
2m 28s | |
49m 9s | |
27s | |
52m 4s |