author | paulson <lp15@cam.ac.uk> |
Tue, 13 Feb 2024 17:18:50 +0000 | |
changeset 79597 | 76a1c0ea6777 |
parent 69605 | a96320074298 |
permissions | -rw-r--r-- |
(* Title: HOL/Library/BNF_Axiomatization.thy Author: Dmitriy Traytel, TU Muenchen Copyright 2013 Axiomatic declaration of bounded natural functors. *) section \<open>Axiomatic Declaration of Bounded Natural Functors\<close> theory BNF_Axiomatization imports Main keywords "bnf_axiomatization" :: thy_decl begin ML_file \<open>../Tools/BNF/bnf_axiomatization.ML\<close> end