Session BNF_Operations
View
theory dependencies
View
document
View
outline
Theories
HOL-Library.BNF_Axiomatization
File ‹~~/src/HOL/Tools/BNF/bnf_axiomatization.ML›
LFP
GFP
Compose
Kill
Lift
Permute
N2M