Restructuring the model folder

6 jobs for master in 5 minutes and 23 seconds (queued for 2 minutes and 20 seconds)
Status Job ID Name Coverage
  Build
passed #44312
1.9.0-coq-8.10

00:02:22

passed #44311
1.9.0-coq-8.9

00:02:30

passed #44313
allowed to fail
1.9.0-coq-dev

00:01:44

 
  Process
passed #44315
doc

00:00:28

passed #44316
proof-length

00:00:15

passed #44314
validate

00:00:51