(*
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-11-04)
¤
*© Formatika GbR, Deutschland
