Dear All, I am very pleased to announce that a new Methodology Note on Different kinds of subsorting in CASL by Maura Cerioli has just been installed in the CoFI pages (cf. http://www.brics.dk/Projects/CoFI/Notes/M/index.html ) Best regards, Michel Bidoit