Hmmm....
How about:
(enable) show module 1
Mod Module-Type Model
--- -------------------- --------
1 1000BaseX Supervisor WS-X4013
And then looking up the Model number (WS-X4013) in this case on the DPRG site:
www.cisco.com/cgi-bin/front.x/dprg/dprg/reseller?
FWIW, here is the list:
Model Description
--------- --------------------------
WS-X4012 Supervisor Engine I (EOS)
WS-X4013 Supervisor Engine II
WS-X4013+ Supervisor Engine II Plus
WS-X4014 Supervisor Engine III (EOS)
WS-X4515 Supervisor Engine IV
WS-X4516 Supervisor Engine V
---Richard