The Theory pf
Parents

zfc
Constants
pf_hered
(SETz BOOL) BOOL
pure_function
SETz BOOL
Types
PF
Definitions
pf_hered
p
pf_hered p
( s
( e e z fieldz s p e) funz s p s)
pure_function
s pure_function s ( p pf_hered p p s)
PF
pf_def
f TypeDefn pure_function f
Theorems
pure_function_z
pure_function z
pure_function_exists
x pure_function x

up quick index © RBJ