Our proposal to get your students started would be the "Empty" library that is included within your installation kit as the default library (in the installation directory of ADOxx "adostd.abl).
To get things ready for development, you can simply export the library that is provided by default, use the attached completely empty one, or use the one available in the tutorial packages on adoxx.org and re-import into the database using the Library Management Functionality in the Development Toolkit. During the import a new unique name has to be assigned to identify it by the students.
Download Tutorial package:
Package (within the ZIP archive, you find the actual Tutorial Libraries in the folder "Tutorial_Library)
Empty ADOxx13UL1 Library: attached as ADOxx13UL1 - Empty Library.abl
Best regards,
Wilfrid Utz