pragma Source_File_Name (ACTIVITY_LOG_HANDLER, Body_File_Name => "al.adb");
pragma Source_File_Name (ACTIVITY_LOG_HANDLER, Spec_File_Name => "al.ads");
pragma Source_File_Name (A83, Body_File_Name => "a83.adb");
pragma Source_File_Name (A83, Spec_File_Name => "a83.ads");
pragma Source_File_Name (A83_DFA, Body_File_Name => "a83_dfa.adb");
pragma Source_File_Name (A83_DFA, Spec_File_Name => "a83_dfa.ads");
pragma Source_File_Name (A83_IO, Body_File_Name => "a83_io.adb");
pragma Source_File_Name (A83_IO, Spec_File_Name => "a83_io.ads");
pragma Source_File_Name (A95, Body_File_Name => "a95.adb");
pragma Source_File_Name (A95, Spec_File_Name => "a95.ads");
pragma Source_File_Name (A95_DFA, Body_File_Name => "a95_dfa.adb");
pragma Source_File_Name (A95_DFA, Spec_File_Name => "a95_dfa.ads");
pragma Source_File_Name (A95_IO, Body_File_Name => "a95_io.adb");
pragma Source_File_Name (A95_IO, Spec_File_Name => "a95_io.ads");
pragma Source_File_Name (COMMAND_LINE_INTERFACE, Body_File_Name => "cli.adb");
pragma Source_File_Name (COMMAND_LINE_INTERFACE, Spec_File_Name => "cli.ads");
pragma Source_File_Name (COMMAND_LINE_PROCESSOR, Body_File_Name => "clp.adb");
pragma Source_File_Name (COMMAND_LINE_PROCESSOR, Spec_File_Name => "clp.ads");
pragma Source_File_Name (CONSOLE, Body_File_Name => "console.adb");
pragma Source_File_Name (CONSOLE, Spec_File_Name => "console.ads");
pragma Source_File_Name (INFORMATION_COLLECTOR, Body_File_Name => "ic.adb");
pragma Source_File_Name (INFORMATION_COLLECTOR, Spec_File_Name => "ic.ads");
pragma Source_File_Name (INPUT_TEXT_FILE_HANDLER, Body_File_Name => "itf.adb");
pragma Source_File_Name (INPUT_TEXT_FILE_HANDLER, Spec_File_Name => "itf.ads");
pragma Source_File_Name (OUTPUT_TEXT_FILE_HANDLER, Body_File_Name => "otf.adb");
pragma Source_File_Name (OUTPUT_TEXT_FILE_HANDLER, Spec_File_Name => "otf.ads");
pragma Source_File_Name (REPORT_GENERATOR, Body_File_Name => "rg.adb");
pragma Source_File_Name (REPORT_GENERATOR, Spec_File_Name => "rg.ads");
pragma Source_File_Name (TIME_KEEPER, Body_File_Name => "tk.adb");
pragma Source_File_Name (TIME_KEEPER, Spec_File_Name => "tk.ads");
