Changed some Qed to Defined

2 jobs for DigDug in 4 minutes and 29 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #243806550
coq:8.8

00:04:00

passed #243806551
coq:8.9

00:04:29