| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/Import/ (Isabelle Prover Version 2025-1©) Datei vom 16.11.2025 mit Größe 295 B |
|
Quelle HOL_Light_Import.thySprache: Isabelle |
|||||||||||||||
|
(* Title: HOL/Import/HOL_Light_Import.thy Author: Cezary Kaliszyk, University of Innsbruck Author: Alexander Krauss, QAware GmbH *) section ‹Main HOL Light importer› theory HOL_Light_Import imports HOL_Light_Maps begin import_file "$HOL_LIGHT_BUNDLE" end
¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-06-29) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09