Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/ZF/ex/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 14 kB image not shown  

Quelle  manifest.mf   Sprache: unbekannt

 
Spracherkennung für: .mf vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

Manifest-Version: 1.0
OpenIDE-Module: org.openide.nodes
OpenIDE-Module-Localizing-Bundle: org/openide/nodes/Bundle.properties
AutoUpdate-Essential-Module: true
OpenIDE-Module-Specification-Version: 7.75

[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-04-26]