FunsimToCore.Install
Mike Spreitzer March 3, 1987 10:38:52 am PST
Install Core PartialOrders
Run CoreTracingImpl FunsimToCore CoreFiddling