| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/Library/ (Beweissystem Isabelle Version 2025-1©) Datei vom 16.11.2025 mit Größe 537 B |
|
Quelle Code_Prolog.thySprache: Isabelle |
|||||||||||||||
|
(* Title: HOL/Library/Code_Prolog.thy Author: Lukas Bulwahn, TUM 2010 *) section ‹Code generation of prolog programs› theory Code_Prolog imports Main keywords "values_prolog" :: diag begin ML_file ‹~~/src/HOL/Tools/Predicate_Compile/code_prolog.ML› section ‹Setup for Numerals› setup ‹Predicate_Compile_Data.ignore_consts [🍋‹numeral›]› setup ‹Predicate_Compile_Data.keep_functions [🍋‹numeral›]› end
¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet am 2026-04-27) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-05-26