Examples of using IO

• A small IO library written by Anton Setzer can be found at
  lib/asLibraryIO/
• Complete example with some guidance on how to use SPARK Ada (this is the example recommended in the Instructions for setting up SPARK Ada using file manager)
• A more puristic form of the example given before is located in
  sparkAdaCodeLecture/sect6/example6-19-wrapperClassForIOwithExample/
  Look at README.txt file for details.
• Example of a tiny critical system is located in
  sparkAdaCodeLecture/sect6/example6-21-exampleOfSmallCriticalSystem/
  Look at README.txt file for details.