-- The following packages are synthesized internally by
-- the Examiner when in SPARK95 or SPARK2005 mode,
-- and so do not need to appear here:
--    Ada
--    Ada.Characters
--    Ada.Characters.Latin_1
--    Ada.Unchecked_Conversion
--
-- The following packages are also synthesized internally by
-- the Examiner when in RavenSPARK mode,
-- and so do not need to appear here:
--    Ada.Real_Time
--    Ada.Synchronous_Task_Control
--    Ada.Interrupts

Ada.Characters.Handling specification is in ada-characters-handling.shs

