(* SCHEMA IFC4; *)
TYPE IfcTimeStamp = INTEGER; END_TYPE;
Generated by STEP Tools® EXPRESS to HTML Converter2016-06-01T11:21:37-04:00