Isabelle_24-Apr-2024

Downloads

• Source archive
• Linux bundle
• Linux (ARM) bundle
• Windows bundle
• macOS bundle

Repositories

• Isabelle/0eff7d113549
• AFP/0e05592c7e5e