Last version (IFC4) of the IFC specification

buildingSMART released on March 25, 2013 a new release of the IFC
schema, named IFC4