Isar Annotation

Annotations for the Isar Database. You don't need to manually add this package.