Create template: Isar (proof assistant)/Metadata

Jump to navigation Jump to search