Also, just to consider some other differences:
The album instrument list doesn't state the Quasimidi Technox - but we know a preset pattern was used in O10.
The album instrument list doesn't state the Roland MC303 - but JMJ stated in an interview (with studio pics) that he used a Roland MC303 on the album.
The album instrument list doesn't state the Moog System 55 and it is also not pictured in studio shots at the time. It was on the tour, but I suspect this was more of an aesthetic decision rather than musical (not least because the sequencer is running with no apparent link to the track). Same for the ARP2500. Always crops up but never does much, musically.
Equally, the Mellotron is in the instrument list and was pictured in the studio shots, but certainly the Mellotron strings were from the Roland JV SR04 Vintage Synth expansion/module.
Atop the Mellotron (in the studio pics) was the Minimoog, hence why I suspect the Mini may have been used somewhere in the album although it's not listed in the album instrument list. Or may have just been for show. Who knows.
Interestingly, if you move on to Metamophoses - you'll find that some of the same instruments crop up: Raven, JP8000/JP8080, Nord Lead, Roland JV SR04 Vintage Synth, Minimoog, K2000 as well as the MC505. The JV90 in O7-13 was swapped for the XP-80/JV2080. Yamaha AN1X was also used on Metamorphoses and being out around the same time with the JP8000 and Nord Lead, I would not be surprised if it had cropped up on O7-13. AN1X was also used for the main arpeggio/sequence on Immortals I think. But like above, the Yamaha isn't listed in the album notes.