/READ-ME/1.2/Tue Jan  2 14:15:38 2001//
/IndDefRules.sig/1.2/Thu Jan  4 14:23:07 2001//
/IndDefRules.sml/1.4/Thu Jan  4 15:30:38 2001//
/InductiveDefinition.sig/1.2/Thu Jan  4 10:41:25 2001//
/InductiveDefinition.sml/1.3/Thu Jan  4 12:31:25 2001//
/IndDefLib.sig/1.13/Thu Jun  7 13:15:23 2001//
/IndDefLib.sml/1.14/Thu Jun  7 13:15:23 2001//
D
