Computer Science, Swansea 
Icon  Name                                            Last modified      Size  Description
[DIR] vers11FullVersionWithIO/                        09-Nov-2017 01:53    -   
[DIR] vers10FullVersion/                              09-Nov-2017 01:35    -   
[DIR] vers09b-VerificationConditionsWithoutRange/     09-Nov-2017 01:35    -   
[DIR] vers09a-DataInformationFlowWithRecordTypeIO/    01-Nov-2017 23:59    -   
[DIR] vers09DataInformationFlowWithIO/                02-Nov-2017 01:33    -   
[DIR] vers08a-DataInformationFlowWithRecordType/      02-Nov-2017 01:02    -   
[DIR] vers08DataInformationFlow/                      26-Oct-2017 00:22    -   
[DIR] vers07OnlyAdaWithIOTypesAndRecordType/          02-Nov-2017 01:01    -   
[DIR] vers06OnlyAdaWithTypesAndRecordType/            26-Oct-2017 01:18    -   
[DIR] vers05OnlyAdaWithIOTypes/                       26-Oct-2017 01:17    -   
[DIR] vers04OnlyAdaWithTypes/                         26-Oct-2017 00:22    -   
[DIR] vers03OnlyAdaWithIOIntegersUsingLibrary/        26-Oct-2017 01:16    -   
[DIR] vers02OnlyAdaWithIOIntegersNoLibrary/           26-Oct-2017 01:16    -   
[DIR] vers01OnlyAdaWithIntegers/                      26-Oct-2017 00:22    -   
[DIR] old/                                            09-Nov-2017 01:53    -   
[   ] vers03OnlyAdaWithIOIntegersUsingLibrary.zip     09-Nov-2017 01:53   36K  
[   ] vers02OnlyAdaWithIOIntegersNoLibrary.zip        09-Nov-2017 01:53   34K  
[   ] vers09a-DataInformationFlowWithRecordTypeIO.zip 09-Nov-2017 01:53   33K  
[   ] old.zip                                         09-Nov-2017 01:53   33K  
[   ] vers07OnlyAdaWithIOTypesAndRecordType.zip       09-Nov-2017 01:53   31K  
[   ] vers09b-VerificationConditionsWithoutRange.zip  09-Nov-2017 01:53   28K  
[   ] vers09DataInformationFlowWithIO.zip             09-Nov-2017 01:53   27K  
[   ] vers11FullVersionWithIO.zip                     09-Nov-2017 01:53   27K  
[   ] vers05OnlyAdaWithIOTypes.zip                    09-Nov-2017 01:53   25K  
[   ] vers08a-DataInformationFlowWithRecordType.zip   09-Nov-2017 01:53   13K  
[   ] vers06OnlyAdaWithTypesAndRecordType.zip         09-Nov-2017 01:53   11K  
[   ] vers01OnlyAdaWithIntegers.zip                   09-Nov-2017 01:53  8.6K  
[   ] vers04OnlyAdaWithTypes.zip                      09-Nov-2017 01:53  7.9K  
[   ] vers10FullVersion.zip                           09-Nov-2017 01:53  5.0K  
[   ] vers08DataInformationFlow.zip                   09-Nov-2017 01:53  4.5K  
[TXT] README.txt                                      26-Oct-2017 00:32  659