PowerAda Source Code for Specifications
From OC Systems Wiki!
The Ada source code for the packages in the first two categories above (those compiled into the Ada system sublibrary) can be viewed on-line using powerada or extracted with the tool aextract.
Those included under only in source form are delivered under the directory $POWERADA/contrib and can be viewed with your editor.
To see visible runtime units within powerada, choose Visit Library from the Go Menu, and sort by date. The system sublibrary units will be at the bottom of the list. You can then perform the default Visit action on a selected unit to view its source.