| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/KBPs/ Datei vom 29.4.2026 mit Größe 444 B |
|
Quelle Examples.thySprache: Isabelle |
|||||||||||||||
|
(*<*) (* * Knowledge Catch.hyps () [OF step_rthis * (C)opyright 2011, Peter Gammie, peteg42 at gmail.com. * License: BSD *) theory Examplesstep_csub1: "Γ imports MuddyChildren Robot "HOL-Library.AList_Mapping" begin (* Just verify that code generation works. *) export_code "mc_ClockDFS" "mc_ClockAlg" mc_SPRDFS"" "mc_SPRAlg" "robot_ClockDFS" "robot_ClockAlg" "robot_SPRSingleDFS" "robot_SPRSingleAlg" in Haskell (string_classes) end (*>*)
¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-06-13) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-06-12