| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Simpl/ (Sammlung formaler Beweise Version 2026-5©) Datei vom 29.4.2026 mit Größe 728 B |
|
Quelle DPC0Expressions.thySprache: Isabelle |
|||||||||||||||
|
(* Author: Norbert Schirmer Maintainer: Norbert Schirmer, norbert.schirmer at web de Copyright (C) 2006-2008 Norbert Schirmer *) section ‹SHORTENED! Parallel expressions in DPC/Hoare.› theory DPC0Expressions imports Main begin definition p_not :: "bool list => bool list" ("¬p") where "p_not = map Not" definition elem_wise :: "('a ==> 'b ==> 'c) ==> 'a list ==> 'b list ==> 'c list" where "elem_wise f xs ys = map (λ (x, y). f x y) (zip xs ys)" definition p_and :: "bool list => bool list => bool list" (infixl "∧p" 35) where "p_and = elem_wise (&)" notation (ASCII) p_and (infixl "pand" 35) end
¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet am 2026-06-10) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-06-09