Index of /archive/docs

Icon  Name                    Last modified      Size  Description
[DIR] ArtificialIntelligence/ 2012-07-13 21:41    -   
[   ] Atlas_Autocode_1965.pdf 2008-10-13 19:16  3.6M  
[DIR] Atlas_Autocode_1965/    2008-10-13 10:59    -   
[   ] CS348A_Atlas1_pgmMan..> 2008-10-13 19:05   17M  
[   ] CU-Rep-1-AA.pdf         2008-10-13 10:07  1.6M  
[DIR] EMAS_Archiver/          2008-10-13 10:44    -   
[DIR] EMAS_Director/          2008-10-13 10:03    -   
[DIR] EMAS_IMP/               2008-10-13 19:14    -   
[DIR] EMAS_Linkage/           2008-10-13 19:14    -   
[DIR] EMAS_Overview/          2008-10-13 10:44    -   
[DIR] EMAS_Paging/            2008-10-13 10:07    -   
[DIR] EMAS_Subsystem/         2008-10-13 20:08    -   
[DIR] EMAS_style_linkage/     2008-10-13 10:03    -   
[DIR] EMAS_use_of_VM/         2008-10-13 10:46    -   
[   ] Edinburgh_IMP_Langua..> 2008-10-13 18:59  5.0M  
[DIR] Edinburgh_IMP_Langua..> 2008-10-13 19:19    -   
[DIR] Emas_Memory/            2008-10-13 20:02    -   
[DIR] Experiment/             2009-05-06 16:58    -   
[DIR] Imp_Benchmarks/         2008-10-13 20:05    -   
[   ] Informatics-IPv6.pdf    2021-11-30 12:07  159K  
[TXT] John-Butler-Docs-Lis..> 2008-10-13 10:57  7.1K  
[DIR] KDF9/                   2008-10-13 10:01    -   
[   ] Notes_on_IMP_Program..> 2008-10-13 10:08  2.0M  
[DIR] Notes_on_IMP_Program..> 2008-10-13 19:08    -   
[   ] Poppy_Manual.pdf        2008-10-13 10:46  889K  
[DIR] Poppy_Manual/           2008-10-13 09:30    -   
[   ] Using_IMP_77.pdf        2008-10-13 10:37  4.0M  
[DIR] Using_IMP_77/           2008-10-13 10:38    -   
[TXT] atlasautocode.html      2008-10-13 10:03  174K  
[IMG] atlasautocode_stackl..> 2008-10-13 10:57   62K  
[   ] bridging_generation_..> 2008-10-13 10:46  700K  
[   ] dcs-inf-network-hist..> 2022-10-11 11:42  136K  
[   ] foley-thesis-APM.pdf    2008-10-13 10:58  1.1M  
[   ] how-to-work-the-logo..> 2011-09-26 20:10  4.2M  
[DIR] imp77-language/         2008-10-13 11:03    -   
[TXT] imp9toimp80.html        2008-10-13 19:14   24K  
[   ] mechanised_reasoning..> 2008-10-13 10:03  1.9M  
[   ] mechanized_reasoning..> 2008-10-13 19:16  1.9M  
[   ] nahistory.pdf           2008-10-13 19:05  1.4M  
[   ] p110-burstall.pdf       2008-10-13 10:08   26K  
[DIR] p110-burstall/          2008-10-13 10:58    -   
[   ] p115-mills.pdf          2008-10-13 11:03  1.0M  
[DIR] p115-mills/             2008-10-13 11:03    -   
[   ] p134-wilson.pdf         2008-10-13 10:36  922K  
[DIR] p134-wilson/            2008-10-13 19:17    -   
[   ] p151-wang.pdf           2008-10-13 10:38  521K  
[DIR] p151-wang/              2008-10-13 10:36    -   
[DIR] plsc/                   2008-10-13 10:02    -   
[DIR] psrthesis/              2008-10-13 20:02    -   
[DIR] scans/                  2008-10-13 10:06    -   
[DIR] skimp_ii/               2008-10-13 10:57    -   
[DIR] usenet_articles/        2008-10-13 19:14    -