The High Court in Dublin tonight directed that the Government should reveal documents relating to the use of Irish airspace and airport landing facilities available to foreign military aircraft.