../ datalog.rs 29-Nov-1973 21:33 2353 lambda.rs 29-Nov-1973 21:33 12385 math.rs 29-Nov-1973 21:33 17204 prop.rs 29-Nov-1973 21:33 5871 simple.rs 29-Nov-1973 21:33 1483