src/HOL/BNF/BNF_FP_Base.thy
changeset 54257 5c7a3b6b05a9
parent 54246 8fdb4dc08ed1
child 54485 b61b8c9e4cf7