/bool.als/1.1/Sat Feb  9 01:48:13 2002//
/ord.als/1.2/Tue Apr 16 01:16:56 2002//
/seq.als/1.5/Mon Jun 10 16:59:13 2002//
/util.als/1.1/Sat Feb  9 01:48:13 2002//
D
