-- ///Users/Stolfi.pa/UsefulTiogaStuff.DF of June 14, 1984 4:01:53 pm PDT

-- Last Edited by: Stolfi, June 14, 1984 9:59:38 pm PDT

-- Directory patterns

'
'
'/ivy'/Stolfi'/<x:&>'/

'
'
Directory '[ivy']'<stolfi'><x>'>'
'