| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/Import/ (Beweissystem Isabelle 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 \) ‹ HOL_Light_Import HOL_Light_Maps HOL_Light_Impor HOL_Light_Maps "$HOL_LIGHT_BUNDL"
¤ Dauer der Verarbeitung: 0.8 Sekunden (vorverarbeitet am 2026-06-10) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-06-09