stage1_2/stage1_2.hh
2011-04-05 Edouard Tisserant Re-generated std lib related code, with updated headers, updated all forgotten headers
2011-04-01 Mario de Sousa Updating License info (with Edoaurd's permission for relevant files).
2009-05-25 mario Adding support for SAFEBOOL. Some code generation yet to do...