Index of /~ids/dotdot/misc/research_related/SurrealNumbers+Games+ExactReals

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]reals.def.m1992-06-18 18:42 959  
[ ]reals.m1992-06-18 18:42 1.7K 
[ ]grue_reals.m1997-01-13 12:51 4.2K 
[ ]reals.mod.m1997-01-13 12:46 14K 
[ ]games.m1992-06-18 18:42 20K 
[ ]surreals.m1992-06-18 18:42 32K 
Apache Server at vm-wwwhomes.doc.ic.ac.uk Port 80