/bool.als/1.1/Sat Jan 19 21:14:38 2002//
/ord.als/1.1/Sat Jan 19 21:14:38 2002//
/util.als/1.1/Sat Jan 19 21:14:38 2002//
D
